Editorial = Just "Lots of NEW stuff this week! A new generics library, new versions of Pandoc and darcs, a new website for xmonad, a new GADT/type family inference engine for GHC, a Haskell binding for Qt, and some new, astonishingly elegant ideas from Oleg. Also, here's hoping that everyone has a lot of fun at ICFP!", Community [ ], Announce [ Item "GHC version control" "Simon Peyton-Jones" "[http://www.haskell.org//pipermail/libraries/2008-September/010661.html sent out] a revised proposal for GHC version control.", Item "darcs 2.0.3pre1" "Eric Kow" "[http://www.haskell.org//pipermail/haskell-cafe/2008-September/047664.html announced] the first pre-release of [http://www.darcs.net/darcs-2.0.3pre1.tar.gz darcs 2.0.3], featuring a few major bug fixes and a handful of interesting features.", Item "EMGM" "Sean Leather" "[http://www.haskell.org//pipermail/haskell-cafe/2008-September/047751.html announced] a release of [http://www.cs.uu.nl/wiki/GenericProgramming/EMGM Extensible and Modular Generics for the Masses (EMGM)], a library for generic programming in Haskell using type classes.", Item "Pandoc 1.0.0.1" "John MacFarlane" "[http://www.haskell.org//pipermail/haskell-cafe/2008-September/047437.html announced] the release of [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pandoc pandoc 1.0.0.1], the swiss army knife of text markup formats.", Item "Iteratee-based IO" "oleg" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/44828 described] a [http://okmij.org/ftp/Haskell/Iteratee/ safe, declarative approach to input processing] which will be the subject of a talk at DEFUN08 on September 27.", Item "MetaHDBC paper" "Mads Lindstroem" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/44713 announced] a [http://lindstroem.files.wordpress.com/2008/09/metahdbc.pdf draft version of a paper] about the [http://www.haskell.org/haskellwiki/MetaHDBC MetaHDBC library], which uses Template Haskell to do type-safe database access. Comments are welcomed, especially about the overall quality of the paper, whether it can be called scientific, and anything Mads could do to improve the paper.", Item "qtHaskell 1.1.2" "David Harley" "[http://article.gmane.org/gmane.comp.lang.haskell.general/16425 announced] a second preview release of [http://qthaskell.berlios.de qtHaskell], a set of Haskell bindings for Trolltech's Qt." ], HaskellPrime [ ], Libraries [ ], Conferences Nothing [ ], Discussion [ Item "Library design question" "Andre Nathan" "[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/44733 asked] for advice on designing a simple graph library. The resulting discussion included an analysis of using the State monad versus a more functional approach.", Item "A round of golf" "Creighton Hogg" "[http://abstractabsurd.blogspot.com/2008/09/haskell-cafe-or-how-i-learned-to-stop.html learns about laziness] by [http://thread.gmane.org/gmane.comp.lang.haskell.cafe/44724 making grown men cry].", Item "XML (HXML) parsing :: GHC 6.8.3 space leak from 2000" "Lev Walkin" "[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/44708 discovers] a nice example of an obscure class of space leaks while writing some XML-processing code, prompting an in-depth analysis by Simon Marlow.", Item "Proofs and commercial code" "Daryoush Mehrtash" "[http://www.haskell.org//pipermail/haskell-cafe/2008-September/047440.html asked] about automated proof tools and techniques, and their uses in the real world." ], Jobs [ ], Blogs [ Post "2008-09-20" "Creighton Hogg" "Haskell Cafe or: How I learned to stop worrying & love laziness" "" "http://abstractabsurd.blogspot.com/2008/09/haskell-cafe-or-how-i-learned-to-stop.html" N, Post "2008-09-20" "Douglas M. Auclair (geophf)" "Animal as RDR, part II" "Doug continues his posts on RDR expert systems." "http://logicaltypes.blogspot.com/2008/09/animal-as-rdr-part-ii.html" N, Post "2008-09-19" "Ivan Lazar Miljenovic" "Getting Real World Haskell Down Under" "" "http://ivanmiljenovic.wordpress.com/2008/09/19/getting-real-world-haskell-down-under/" N, Post "2008-09-18" "Douglas M. Auclair (geophf)" "Animal: an RDR implementation study" "Doug describes \"ripple-down rules\" expert systems, and illustrates the types needed to encode one in Haskell." "http://logicaltypes.blogspot.com/2008/09/animal-rdr-implementation-study.html" N, Post "2008-09-18" "Mark Jason Dominus" "data Mu f = In (f (Mu f))" "Mark writes about fixpoints of type constructors." "http://blog.plover.com/prog/springschool95-2.html" N, Post "2008-09-18" "John Goerzen (CosmicRay)" "Switched from KDE to xmonad" "John has taken the plunge to xmonad and seems to like it so far!" "http://changelog.complete.org/posts/756-Switched-from-KDE-to-xmonad.html" N, Post "2008-09-18" "Eric Kow (kowey)" "darcs weekly news #4" "Pre-release of darcs 2.0.3; darcs hacking sprint next month; code.haskell.org upgrades to darcs 2; and other news." "http://koweycode.blogspot.com/2008/09/darcs-weekly-news-4.html" N, Post "2008-09-18" "Mads Lindstroem" "MetaHDBC paper (draft)" "Mads's first paper ever, on using Template Haskell for type-safe database access. Comments welcome!" "http://lindstroem.wordpress.com/2008/09/18/metahdbc-paper-draft/" N, Post "2008-09-17" "Braden Shepherdson" "xmonad-light 0.8 Released" "" "http://braincrater.wordpress.com/2008/09/17/xmonad-light-08-released/" N, Post "2008-09-17" "Manuel M T Chakravarty" "GHC HEAD just got a new inference engine for GADTs and type families." "" "http://justtesting.org/post/50500880" N, Post "2008-09-16" "Magnus Therning" "Haskell and Time" "Magnus describes the solution to a problem with Data.Time." "http://therning.org/magnus/archives/389" N, Post "2008-09-16" "Dan Piponi (sigfpe)" "Two Papers and a Presentation" "" "http://sigfpe.blogspot.com/2008/09/two-papers-and-presentation.html" N, Post "2008-09-14" "Xmonad" "New xmonad website launched" "xmonad has a shiny new website!" "http://xmonad.wordpress.com/2008/09/14/new-xmonad-website-launched/" N ], Quotes [ Quote "Botje" "GHC 11 will have shootout entries as primitives.", Quote "wjt" "oh, i see what you're doing. ...no, i don't. *splode*", Quote "Benjamin Pierce" "[on existential types] I have a term, and it has a type. So there.", Quote "bos" "come on, real programmers use \"(((,) <$>) .) . (<*>)\"", Quote "quicksilver" "#haskell : Sometimes we answer your question, sometimes we lay hideous traps which will devour your soul. It's a risk you take.", Quote "harrison" "[on computing 1000000!] it is the same as factorial 999999 * 1000000, big deal" ], Commits [ ] -- vim: paste