Haskell Communities and Activities Report http://www.haskell.org/communities/ Fifteenth Edition — November 2008 Janis Voigtländer (ed.) Peter Achten Alfonso Acosta Andy Adams-Moran Lloyd Allison Tiago Miguel Laureano Alves Krasimir Angelov Apfelmus Emil Axelsson Arthur Baars Sengan Baring-Gould Justin Bailey Alistair Bayley Jean-Philippe Bernardy Clifford Beshers Gwern Branwen Joachim Breitner Niklas Broberg Bjorn Buckwalter Denis Bueno Andrew Butterfield Roman Cheplyaka Olaf Chitil Jan Christiansen Sterling Clover Duncan Coutts Jácome Cunha Nils Anders Danielsson Atze Dijkstra Robert Dockins Chris Eidhof Conal Elliott Henrique Ferreiro García Sebastian Fischer Leif Frenzel Nicolas Frisby Richard A. Frost Peter Gavin Andy Gill George Giorgidze Dimitry Golubovsky Daniel Gorin Jurriaan Hage Bastiaan Heeren Aycan Irican Judah Jacobson Wolfgang Jeltsch Kevin Hammond Enzo Haussecker Christopher Lane Hinson Guillaume Hoffmann Martin Hofmann Liyang HU Paul Hudak Graham Hutton Wolfram Kahl Garrin Kimmell Oleg Kiselyov Farid Karimipour Edward Kmett Lennart Kolmodin Slawomir Kolodynski Michal Konečný Eric Kow Stephen Lavelle Sean Leather Huiqing Li Bas Lijnse Ben Lippmeier Andres Löh Rita Loogen Ian Lynagh John MacFarlane Christian Maeder José Pedro Magalhães Ketil Malde Blažević Mario Simon Marlow Michael Marte Bart Massey Simon Michael Arie Middelkoop Ivan Lazar Miljenovic Neil Mitchell Maarten de Mol Dino Morelli Matthew Naylor Jürgen Nicklisch-Franken Rishiyur Nikhil Thomas van Noort Jeremy O’Donoghue Bryan O’Sullivan Patrick O. Perry Jens Petersen Simon Peyton Jones Dan Popa Fabian Reck Claus Reinke Alexey Rodriguez Alberto Ruiz David Sabel Matthew Sackman Uwe Schmidt Tom Schrijvers Paulo Silva Ben Sinclair Ganesh Sittampalam Jim Snow Dominic Steinitz Don Stewart Jon Strait Martin Sulzmann Doaitse Swierstra Wouter Swierstra Hans van Thiel Henning Thielemann Phil Trinder Jared Updike Marcos Viera Miguel Vilaca Janis Voigtländer Edsko de Vries David Waern Jinjing Wang Malcolm Wallace Eelis van der Weegen Ashley Yakeley Brent Yorgey 2 Preface This is the 15th edition of the Haskell Communities and Activities Report. There are interesting news on the implementation front, new analysis and transformation tools, many fresh projects, and new developments in established ones. Generic programming is one field that has seen a lot of activity, and you will no doubt identify other recent trends as you go through the report. As usual, entries that are completely new (or have been revived after having disappeared temporarily) are formatted using a blue background. Updated entries have a header with a blue background. In most cases of entries that have not been changed for a year or longer, these have been dropped. Please do revive them if you have news on them for the next report. The next report will be compiled in half a year. More details around May — watch the mailing lists for announcements. But now enjoy the report and see what other Haskellers have been up to lately. Any kind of feedback is of course very welcome [email protected]. Janis Voigtländer, Technische Universität Dresden, Germany 3 Contents 1 General 9 1.1 HaskellWiki and haskell.org ........................................ 9 1.2 #haskell .................................................. 9 1.3 The Monad.Reader............................................. 9 1.4 Haskell Weekly News............................................ 10 1.5 Books and tutorials............................................ 10 1.5.1 Programming in Haskell.......................................... 10 1.5.2 Real World Haskell............................................. 10 1.5.3 Haskell Wikibook.............................................. 11 1.5.4 Gtk2Hs tutorial............................................... 11 1.5.5 Monad Tutorial............................................... 11 1.5.6 Oleg’s Mini tutorials and assorted small projects............................ 11 1.5.7 Haskell Cheat Sheet............................................ 12 2 Implementations 13 2.1 The Glasgow Haskell Compiler...................................... 13 2.2 nhc98.................................................... 14 2.3 yhc...................................................... 14 2.4 The Helium compiler............................................ 14 2.5 EHC, “Essential Haskell” Compiler.................................... 15 2.6 Hugs as Yhc Core Producer........................................ 16 2.7 Haskell frontend for the Clean compiler................................. 16 2.8 The Reduceron............................................... 17 2.9 Platforms.................................................. 17 2.9.1 Haskell in Gentoo Linux.......................................... 17 2.9.2 Fedora Haskell SIG............................................. 17 3 Language 18 3.1 Extensions of Haskell............................................ 18 3.1.1 Haskell Server Pages (HSP)........................................ 18 3.1.2 GpH — Glasgow Parallel Haskell..................................... 18 3.1.3 Eden..................................................... 19 3.1.4 XHaskell project.............................................. 20 3.1.5 HaskellActor (previously: HaskellActorJoin)............................... 20 3.2 Related Languages............................................. 20 3.2.1 Curry.................................................... 20 3.2.2 Agda..................................................... 21 3.2.3 Clean.................................................... 21 3.3 Type System / Program Analysis..................................... 22 3.3.1 Uniqueness Typing............................................. 22 3.3.2 Free Theorems for Haskell......................................... 22 3.3.3 The Disciplined Disciple Compiler (DDC)................................ 23 4 Tools 24 4.1 Scanning, Parsing, Transformations.................................... 24 4.1.1 Alex version 2................................................ 24 4.1.2 Happy.................................................... 24 4.1.3 UUAG.................................................... 24 4.2 Documentation............................................... 24 4.2.1 Haddock................................................... 24 4.2.2 lhs2TEX................................................... 25 4.3 Testing, Debugging, and Analysis..................................... 25 4 4.3.1 SmallCheck and Lazy SmallCheck.................................... 25 4.3.2 EasyCheck................................................. 26 4.3.3 checkers................................................... 26 4.3.4 CyCoTest.................................................. 26 4.3.5 G∀st..................................................... 27 4.3.6 Hat..................................................... 27 4.3.7 Concurrent Haskell Debugger....................................... 27 4.3.8 Hpc..................................................... 28 4.3.9 SourceGraph................................................ 28 4.4 Development................................................ 28 4.4.1 Hoogle — Haskell API Search....................................... 28 4.4.2 Leksah, Haskell IDE............................................ 29 4.4.3 EclipseFP — Haskell support for the Eclipse IDE............................ 29 4.4.4 HEAT: The Haskell Educational Advancement Tool.......................... 29 4.4.5 Haskell Mode Plugins for Vim....................................... 30 4.4.6 yi....................................................... 30 4.4.7 HaRe — The Haskell Refactorer..................................... 30 4.4.8 DarcsWatch................................................. 31 4.4.9 cpphs.................................................... 31 5 Libraries 32 5.1 Cabal and Hackage............................................. 32 5.2 Haskell Platform.............................................. 33 5.3 Auxiliary Libraries............................................. 33 5.3.1 libmpd.................................................... 33 5.3.2 gravatar................................................... 33 5.3.3 mersenne-random.............................................. 33 5.3.4 cmath.................................................... 33 5.3.5 hmatrix................................................... 34 5.3.6 The Neon Library............................................. 34 5.3.7 unamb.................................................... 34 5.4 Processing Haskell............................................. 34 5.4.1 hint..................................................... 34 5.4.2 mueval.................................................... 34 5.4.3 hscolour................................................... 35 5.5 Parsing and Transforming......................................... 35 5.5.1 pcre-light.................................................. 35 5.5.2 HStringTemplate.............................................. 35 5.5.3 CoreErlang................................................. 35 5.5.4 parse-dimacs: A DIMACS CNF Parser.................................. 36 5.5.5 The X-SAIGA Project........................................... 36 5.5.6 InterpreterLib................................................ 36 5.5.7 KURE.................................................... 37 5.5.8 Typed Transformations of Typed Abstract Syntax (TTTAS)..................... 37 5.5.9 Grammar Based Read (GRead)...................................... 37 5.5.10 Utrecht Parser Combinator Library...................................