---
Haskell Weekly News
http://haskell.org/haskellwiki/HWN
Issue 41 - September 18, 2006
---
Welcome to issue 41 of HWN, a weekly newsletter covering developments
in the Haskell community. Each week, new editions are posted to [1]the
Haskell mailing list as well as to [2]the Haskell Sequence and
[3]Planet Haskell. [4]RSS is also available, and headlines appear on
[5]haskell.org.
The 2006 Haskell Workshop was held today in Portland, Oregon. Thanks
to Edward Kmett for a report on the event.
1. http://www.haskell.org/mailman/listinfo/haskell
2. http://sequence.complete.org/
3. http://planet.haskell.org/
4. http://sequence.complete.org/node/feed
5. http://haskell.org/
Announcements
* Haskell98 Termination Analyser . Stephan Swidersk [6]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. [7]More
6. http://article.gmane.org/gmane.comp.lang.haskell.general/14193
7. http://aprove.informatik.rwth-aachen.de/
* Free theorems . Janis Voigtlaender [8]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. [9]More info
8. http://article.gmane.org/gmane.comp.lang.haskell.general/14160
9. http://haskell.as9x.info/
* Haddock/GHC SoC . David Waern [10]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.
10. http://article.gmane.org/gmane.comp.lang.haskell.general/14149
* AutoForms release 0.2 . Mads Lindstr?m [11]released AutoForms 0.2,
a library to ease the creation of GUIs. It does this by using
generic programming (SYB) to construct GUI components. [12]More
info
11. http://article.gmane.org/gmane.comp.lang.haskell.general/14148
12. http://autoforms.sourceforge.net/
* HSPClientside 0.2 . Joel Bj?rnson [13]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. [14]More info
13. http://article.gmane.org/gmane.comp.lang.haskell.general/14133
14. http://darcs.haskell.org/SoC/hsp.clientside/
* SOE implementation based on Gtk2Hs . Duncan Coutts [15]Due to
popular demand the new SOE implementation based on Gtk2Hs is
[16]available. The rendering quality is better than the original
HGL version. [17]Here's a side-by-side comparison
15. http://article.gmane.org/gmane.comp.lang.haskell.general/14132
16. file://localhost/home/dons/dons/src/hwn/now
17. http://haskell.org/~duncan/gtk2hs/SOE-cairo.png
* The experimental GHCi debugger . Pepe [18]announced the results of
his SoC project, the experimental Haskell debugger. [19]More
details
18. http://article.gmane.org/gmane.comp.lang.haskell.general/14131
19. http://haskell.org/haskellwiki/GHC/GHCiDebugger
* SmallCheck . Colin Runciman [20]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. [21]More info
20. http://article.gmane.org/gmane.comp.lang.haskell.general/14129
21. http://www.cs.york.ac.uk/fp/smallcheck0.0.tar
* Frisby: composable, linear time parser for arbitrary PEG grammers
. John Meacham [22]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. [23]More information
22. http://article.gmane.org/gmane.comp.lang.haskell.general/14128
23. http://repetae.net/computer/frisby/
* HaskellNet . Jun Mukai [24]published a status report on the state
of his SoC project, HaskellNet
24. http://article.gmane.org/gmane.comp.lang.haskell.general/14126
* GHC's new support engineer . Simon Marlow [25]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!
25.