There are a hell of a lot of Haskell libraries now. What are we going to do...
The Haskell community has reached a bit of a milestone: there are now more than 2000 open source libraries for Haskell on Hackage! However, with this also comes a problem: how do you work out which...
View ArticleOpen Source Bridge Talk: Multicore Haskell Now
In June I had the opportunity to talk about approaches to parallel programming in Haskell at Open Source Bridge: “a new conference for developers working with open source technologies and for people...
View ArticlePopular Haskell Packages: Q2 2010 report
Here is some data on downloads of Haskell libraries and apps on Hackage, for the first half of 2010. Hackage is the central repository of open source Haskell libraries and tools. Once they install the...
View Articleghc-gc-tune: Tuning Haskell GC settings for fun and profit
Inspired by a comment by Simon Marlow on Stack Overflow, about the time and space tradeoffs we make with garbage collection, particularly with a generational GCs, I wrote a small program, ghc-gc-tune,...
View ArticleEngineering Large Projects in a Functional Language
I had the opportunity to speak at DevNation on July 10th in Portland, and gave the following talk, an updated version of Galois’ collective experiences developing Haskell projects over the past decade....
View ArticleHaskell Platform 2010.2.0.0 is live!
We’re pleased to announce the fifth release of the Haskell Platform: a single, standard Haskell distribution for everyone. The specification, along with installers (including Windows, Apple and Unix...
View ArticlePractical Haskell: scripting with types
I had the pleasure to give a new talk today, on design in functional programming — types, abstractions and monads — using the motivating example of scripting. The slides are below and a PDF version is...
View ArticleHackage, Cabal and the Haskell Platform: The Second Year
The Haskell Implementors Workshop was held in Baltimore, Oct 1, 2010. Duncan Coutts from Well-Typed and I presented a status report on the Haskell distribution infrastructure: The Haskell Platform...
View ArticleControl.Monad.Inception
I saw Inception a few months ago. At the time I was struck by how coherent the computational environment describe in the movie was. I suspect “Inception” forms a monadic environment for computation...
View ArticlePainless NP-complete problems: an embedded DSL for SMT solving
SMT solvers are automated tools to solve the “Satisfiability Modulo Theories” problem — that is, determining whether a given logical formula can be satisfied. However, unlike SAT solvers, SMT solvers...
View Article
More Pages to Explore .....