News aggregator - Fri, 05/02/2014 - 9:16pm
Categories: Offsite Blogs - Fri, 05/02/2014 - 9:16pm
Categories: Offsite Blogs - Fri, 05/02/2014 - 9:16pm
Categories: Offsite Blogs - Fri, 05/02/2014 - 9:16pm
Categories: Offsite Blogs - Fri, 05/02/2014 - 9:16pm
Categories: Offsite Blogs

PPDP 2014: 2nd Call for Papers

General haskell list - Fri, 05/02/2014 - 8:43pm
====================================================================== 2nd Call for papers 16th International Symposium on Principles and Practice of Declarative Programming PPDP 2014 Canterbury, Kent, September 8-10, 2014 (co-located with LOPSTR 2014) ====================================================================== SUBMISSION DEADLINE: 15 MAY, 2014 PPDP 2014 is a forum that brings together researchers from the declaratrive programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative parad
Categories: Incoming News

Thinking in Types - Fri, 05/02/2014 - 7:46pm
Categories: Offsite Blogs

"haskeline dylib failure on MacOS in GHC HEAD"

glasgow-user - Fri, 05/02/2014 - 6:31pm
I built GHC HEAD on MacOS 10.9.2 from GitHub yesterday and am getting an error when trying to use a problem (HERMIT) that uses haskeline: Loading package haskeline- ... <command line>: can't load .so/.DLL for: /Users/conal/.cabal/lib/x86_64-osx-ghc-7.9.20140430/haskeline- (dlopen(/Users/conal/.cabal/lib/x86_64-osx-ghc-7.9.20140430/haskeline-, 9): Symbol not found: _terminfozm0zi4zi0zi0_SystemziConsoleziTerminfoziBase_termText1_closure Referenced from: /Users/conal/.cabal/lib/x86_64-osx-ghc-7.9.20140430/haskeline- Expected in: /Users/conal/install/quickest/lib/ghc-7.9.20140430/bin/../terminfo- in /Users/conal/.cabal/lib/x86_64-osx-ghc-7.9.20140430/haskeline- bash-3.2$ ls -l /Users/conal/.cabal/lib/x86_64-osx-ghc-7.9.20140
Categories: Offsite Discussion

Addressing Misconceptions About Code with Always-On Programming Visualizations

Lambda the Ultimate - Fri, 05/02/2014 - 6:00pm

A CHI 2014 paper by Tom Lieber et al, abstract:

We present Theseus, an IDE extension that visualizes run-time behavior within a JavaScript code editor. By displaying real-time information about how code actually behaves during execution, Theseus proactively addresses misconceptions by drawing attention to similarities and differences between the programmer's idea of what code does and what it actually does. To understand how programmers would respond to this kind of an always-on visualization, we ran a lab study with graduate students, and interviewed 9 professional programmers who were asked to use Theseus in their day-to-day work. We found that users quickly adopted strategies that are unique to always-on, real-time visualizations, and used the additional information to guide their navigation through their code.

Edit: up to date paper linked in.

Categories: Offsite Discussion

Simon Michael: TITLE

Planet Haskell - Fri, 05/02/2014 - 6:00pm
TAG1, TAG2 May 3, 2014 TITLE

<script type="text/javascript"> var disqus_shortname = 'joyfulblog'; /* * * DON'T EDIT BELOW THIS LINE * * */ (function() { var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true; dsq.src = '//' + disqus_shortname + ''; (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq); })(); </script> <noscript>JavaScript not enabled, comments will not be shown.</noscript>
Categories: Offsite Blogs

Watching for changes and rerunning tests in ghci

Haskell on Reddit - Fri, 05/02/2014 - 3:36pm

Just thought I'd share: I put a simple command that watches for changes in the project and reruns tests into .ghci file in my small hobby project: It can even stop upon pressing any key.

It depends on fsnotify package for the watching bit and assumes that running :main will run the tests, so I run it as:

$ cabal repl thebook-tests

but otherwise is pretty trivial. I must say the ability to define custom commands in .ghci is truly awesome.

Putting it here, as I've not encountered it yet anywhere else, if someone's already got something like this then shout.

submitted by jkozlowski
[link] [3 comments]
Categories: Incoming News

Thinking in Types

Haskell on Reddit - Fri, 05/02/2014 - 11:40am
Categories: Incoming News

Trouble installing hdevtools from Hackage

Haskell on Reddit - Fri, 05/02/2014 - 11:21am

I am trying to install hdevtools on a mac through Hackage, but whenever I run cabal install hdevtools, it chokes on installing text-, giving me some weird errors, mainly this:

Data/Text.hs:934:52: warning: missing terminating ' character [-Winvalid-pp-token]

and this:

Data/Text.hs:1140:4: error: invalid preprocessing directive #-}

Full output here:

Any ideas?

submitted by s_ngularity
[link] [6 comments]
Categories: Incoming News

Reminder: FARM 2014: deadlines approaching!

General haskell list - Fri, 05/02/2014 - 11:16am
Dear all, This is just a reminder about FARM 2014: Workshop on Functional Art, Music, Modeling and Design, co-located with ICFP in Gothenburg in September. The abstract deadline (for full papers) is fast approaching (7 May), and the overall deadline for full papers and demos is not far behind (11 May). Call for papers enclosed. Apologies for cross-postings. All the best, /Henrik
Categories: Incoming News

So is the Clean language essentially dead?

Haskell on Reddit - Fri, 05/02/2014 - 10:22am

I remember from a long time ago that Clean seemed almost a viable competitor to Haskell in the lazy functional language space. It looks like the latest Clean release is from 2011. My recollection is that early on the implementation suffered from some licensing issues. Anyone still dabbling with Clean? The uniqueness typing seems like something worthy of not getting lost in the sands of time. Is Mercury the only language still pursing uniqueness?

submitted by sleepingsquirrel
[link] [20 comments]
Categories: Incoming News

Final CFP: Workshop on Generic Programming (WGP) 2014

General haskell list - Fri, 05/02/2014 - 9:43am
Apologies for multiple postings. ====================================================================== CALL FOR PAPERS WGP 2014 10th ACM SIGPLAN Workshop on Generic Programming Gothenburg, Sweden Sunday, August 31, 2014 Co-located with the International Conference on Functional Programming (ICFP 2014) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types
Categories: Incoming News

Javascript compiler compatible with js frameworks

Haskell on Reddit - Fri, 05/02/2014 - 7:34am

I've seen several statically typed Haskell flavored JavaScript compilers on here lately (Fay, Elm, Idris, Purescript...the list seems endless). I'm curious about which are particularly friendly for working with existing JavaScript frameworks (like Angular, React.js...). I've been using CoffeeScript with Angular, and its similarities to JavaScript make the translation involved in understanding Angular documentation trivial, but I wonder how doable it is with one of these Haskell-flavored ones.

I'm particularly interested in the typesafe compilers.

submitted by wcb10
[link] [18 comments]
Categories: Incoming News