Haskell Communities and Activities Report http://www.haskell.org/communities/ Ninth Edition – November 20, 2005 Andres Löh (ed.) Lloyd Allison Tiago Miguel Laureano Alves Krasimir Angelov Alistair Bayley Jean-Philippe Bernardy Björn Bringert Niklas Broberg Paul Callaghan Manuel Chakravarty Olaf Chitil Koen Claessen Duncan Coutts Alain Crémieux Iavor Diatchki Atze Dijkstra Robert Dockins Shae Erisson Jan van Eijck Martin Erwig Sander Evers Markus Forsberg Simon Foster Benjamin Franksen Leif Frenzel André Furtado John Goerzen Dimitry Golubovsky Murray Gross Walter Gussmann Jurriaan Hage Sven Moritz Hallberg Thomas Hallgren Keith Hanna Bastiaan Heeren Robert van Herk Ralf Hinze Anders Höckersten Paul Hudak John Hughes Graham Hutton Johan Jeuring Paul Johnson Isaac Jones Oleg Kiselyov Marnix Klooster Graham Klyne Daan Leijen Lemmih Huiqing Li Andres Löh Rita Loogen Salvador Lucas Christoph Lüth Ketil Malde Christian Maeder Simon Marlow Conor McBride John Meacham Serge Mechveliani Neil Mitchell William Garret Mitchener Andy Adams-Moran J. Garrett Morris Rickard Nilsson Sven Panne Ross Paterson Jens Petersen John Peterson Simon Peyton-Jones Jorge Sousa Pinto Bernie Pope Claus Reinke Frank Rosemeier David Roundy David Sabel Tom Shackell Uwe Schmidt Martijn Schrage Anthony Sloane Dominic Steinitz Donald Bruce Stewart Martin Sulzmann Doaitse Swierstra Wouter Swierstra Autrijus Tang Henning Thielemann Peter Thiemann Simon Thompson Phil Trinder Arjan van IJzendoorn Tuomo Valkonen Joost Visser Malcolm Wallace Stefan Wehr Joel Wright Ashley Yakeley Bulat Ziganshin Preface Finally, here is the 9th edition of the Haskell Communities and Activities Report (HCAR), almost three weeks after the submission deadline. This delay is entirely my own fault. In fact, I have to thank the many contributors to this report even more than usually: never before did I have to ask and push so little; several entries (and quite a few new entries) landed in my inbox before or on the deadline. Thank you very much! As most of you have probably be waiting for the Report a long time already and are eager to get ahead to the actual contents, let me just enumerate a few technical points: ◦ I am trying to be more strict about the rule that entries that have not been changed twice are removed. If something is removed, it doesn’t mean that is does not exist anymore. But on the other hand, I prefer no content over outdated content, so if in doubt, I remove. All of you who would like to see you entry included again, just submit an entry for the next report! ◦ As in the previous editions, I’ve marked entries that have not been in the previous report in blue (or gray, if viewed without color). Entries that have had (at least small) updates have a blue header. ◦ I have removed the “Haskell events” section. I lack time to keep it up-to-date, and I haven’t received any entries from others. I would appreciate if someone would be willing to sub-edit the events section for the next report. Just drop me a mail. ◦ The next report (the tenth!) will appear in May 2006, so please, already mark the last weeks of April, because the new entries will be due by then. As always, feedback is very welcome [email protected]. Now, I wish you pleasant reading! Andres Löh, University of Bonn, Germany 2 Contents 1 General 7 1.1 haskell.org .................................................. 7 1.2 #haskell .................................................. 7 1.3 The Haskell HaWiki ............................................ 7 1.4 Haskell Weekly News ............................................ 7 1.4.1 The Haskell Sequence ........................................... 8 1.5 The Monad.Reader ............................................. 8 1.6 Books and tutorials ............................................. 8 1.6.1 New textbook – Programming in Haskell ................................. 8 1.6.2 Haskell Tutorial WikiBook ......................................... 8 1.6.3 hs-manpage-howto(7hs) .......................................... 8 2 Implementations 10 2.1 The Glasgow Haskell Compiler ...................................... 10 2.2 Hugs ..................................................... 10 2.3 nhc98 .................................................... 10 2.4 yhc ...................................................... 11 2.5 jhc ...................................................... 11 2.6 Helium .................................................... 12 3 Language 13 3.1 Variations of Haskell ............................................ 13 3.1.1 Haskell on handheld devices ........................................ 13 3.1.2 Vital: Visual Interactive Programming .................................. 13 3.1.3 Pivotal: Visual Interactive Programming ................................. 13 3.1.4 House (formerly hOp) ........................................... 13 3.1.5 Camila .................................................... 14 3.1.6 Haskell Server Pages (HSP) ........................................ 14 3.1.7 HASP .................................................... 14 3.1.8 Haskell Regular Patterns (HaRP) ..................................... 15 3.2 Non-sequential Programming ....................................... 15 3.2.1 GpH – Glasgow Parallel Haskell ...................................... 15 3.2.2 GdH – Glasgow Distributed Haskell ................................... 16 3.2.3 Mobile Haskell (mHaskell) ......................................... 16 3.2.4 Eden ..................................................... 16 3.2.5 HCPN – Haskell-Coloured Petri Nets ................................... 17 3.3 Type System/Program Analysis ...................................... 18 3.3.1 Epigram ................................................... 18 3.3.2 Chameleon ................................................. 19 3.3.3 XHaskell project .............................................. 19 3.3.4 Constraint Based Type Inferencing at Utrecht .............................. 19 3.3.5 EHC, ‘Essential Haskell’ Compiler .................................... 20 3.4 Generic Programming ........................................... 20 4 Libraries 22 4.1 Packaging and Distribution ........................................ 22 4.1.1 Hackage and Cabal ............................................. 22 4.1.2 Eternal Compatibility in Theory – a module versioning protocol ................... 22 4.2 General libraries .............................................. 23 4.2.1 LicensedPreludeExts ............................................ 23 4.2.2 Hacanon-light ................................................ 23 3 4.2.3 HODE .................................................... 23 4.2.4 PFP – Probabilistic Functional Programming Library for Haskell ................... 23 4.2.5 Hmm: Haskell Metamath module ..................................... 23 4.2.6 Process ................................................... 24 4.2.7 System.Console.Cmdline.Pesco – a command line parser 6= GNU getopt ............... 24 4.2.8 TimeLib ................................................... 25 4.2.9 The Haskell Cryptographic Library .................................... 25 4.2.10 Numeric prelude .............................................. 25 4.2.11 The revamped monad transformer library ................................ 25 4.2.12 hs-plugins .................................................. 26 4.2.13 ldap-haskell ................................................. 26 4.2.14 magic-haskell ................................................ 26 4.2.15 MissingH .................................................. 26 4.2.16 MissingPy .................................................. 26 4.3 Parsing and transforming ......................................... 27 4.3.1 Utrecht Parsing Library and Attribute Grammar System ....................... 27 4.3.2 Haskell-Source with eXtensions (HSX, haskell-src-exts) ......................... 27 4.3.3 Strafunski .................................................. 27 4.4 Data handling ............................................... 28 4.4.1 Hierachical Libraries Collections (formerly DData) ........................... 28 4.4.2 fps (fast packed strings) .......................................... 28 4.4.3 2-3 Finger Search Trees .......................................... 28 4.4.4 A library for strongly typed heterogeneous collections ......................... 29 4.4.5 Takusen ................................................... 29 4.4.6 HaskellDB .................................................. 29 4.4.7 ByteStream ................................................. 30 4.4.8 Compression-2005 ............................................. 30 4.5 User interfaces ............................................... 30 4.5.1 wxHaskell .................................................. 30 4.5.2 FunctionalForms .............................................. 31 4.5.3 Gtk2Hs ................................................... 31 4.5.4 hscurses ................................................... 32 4.6 (Multi-)Media ................................................ 32 4.6.1 HOpenGL – A Haskell Binding for OpenGL and GLUT ........................ 32 4.6.2 HOpenAL – A Haskell Binding for OpenAL and ALUT ........................ 32 4.6.3 hsSDL .................................................... 33 4.6.4 Haskore revision .............................................. 33 4.7 Web and XML programming ....................................... 33 4.7.1 CabalFind .................................................. 33 4.7.2 WebFunctions ...............................................