by Wouter Swierstra
A lot has happened since the last release of
. The ﬁnancialmarkets have crashed. One important reason seems to be the trading in ﬁnancialderivatives. These derivatives can be so complex that it’s very hard to estimatetheir value. Now if only there was a domain speciﬁc language for describing andevaluating such ﬁnancial contracts...A few weeks ago, GMail had a major outage. Edwin Brady pointed out a pressrelease by Google that blamed ‘unexpected side eﬀects of some new code’ – nowif only there was some way to ensure code doesn’t have side eﬀects...This leads me to believe that Haskell is currently solving problems that willaﬀect society in ten years or so. I predict there’s a major telecom blackout becauseErlang fails to do parallel garbage collection. Maybe major bank systems will crashbecause of a mistake in taking the wrong locks during transactions. Or perhapsan epic fail of Amazon’s databases after an incorrect type cast.In the meantime, enjoy this issue of
: Stephen Hicks providesan account of his award winning ICFP Programming Contest entry; Brent Yorgeygives an overview of Haskell’s type class libraries; Chris Eidhof and Eelco Lempsinkhave written a review of
Real World Haskell
; and ﬁnally, Derek Elkins explainssome of the category theory underlying Haskell’s standard monads. Whetheryou’re into category theory or TEX hacking, I’m sure there’s something in thisissue you’ll enjoy.