From HaskellWiki
Revision as of 09:01, 18 September 2006 by DonStewart (talk | contribs) (This week's news)

Jump to: navigation, search


  • Haskell98 Termination Analyser . Stephan Swidersk announced the integration of an automatic Haskell98 termination analyzer in the termination tool AProVE. The tool accepts full Haskell as specified in the Haskell 98 Report and is available through our web interface. More

  • Free theorems . Janis Voigtlaender announced that Sascha Boehme has done a project to implement the Reynolds/Wadler algorithm generating theorems from polymorphic types, plus simplifications and postprocessings for such free theorems. More info

  • Haddock/GHC SoC . David Waern announced a short status report of the "Port Haddock to use GHC" Summer of Code project. The GHC modifications, are finished and will be included in the GHC head repository soon.

  • AutoForms release 0.2 . Mads Lindstr�m released AutoForms 0.2, a library to ease the creation of GUIs. It does this by using generic programming (SYB) to construct GUI components. More info

  • HSPClientside 0.2 . Joel Bj�rnson announced a new version of HSPClientside (0.2) ,developed as a GSoC project during this summer. HSPClientside is a Haskell Server Pages library for generating JavaScript code. More info

  • SOE implementation based on Gtk2Hs . Duncan Coutts Due to popular demand the new SOE implementation based on Gtk2Hs is [now available]. The rendering quality is better than the original HGL version. Here's a side-by-side comparison

  • The experimental GHCi debugger . Pepe announced the results of his SoC project, the experimental Haskell debugger. More details

  • SmallCheck . Colin Runciman released a prototype tool that is similar in spirit, and in some of its workings, to QuickCheck. SmallCheck is, though, based on exhaustive testing in a bounded space of test values. More info

  • Frisby: composable, linear time parser for arbitrary PEG grammers . John Meacham released Frisby, an implementation of the 'packrat' parsing algorithm, which parse PEG grammars and have a number of very useful qualities, they are a generalization of regexes in a sense that can parse everything in LL(k), LR(k), and more, including things that require unlimited lookahead, all in guaranteed linear time. More information

  • HaskellNet . Jun Mukai published a status report on the state of his SoC project, HaskellNet

  • GHC's new support engineer . Simon Marlow announced that GHC now has a full-time support engineer, Ian Lynagh (aka Igloo on IRC). He'll be helping with all aspects of GHC, especially release management, bug diagnosis and tracking, documentation, packaging, and supporting other GHC hackers. Welcome Ian!

More news