Haskell Weekly News: June 11, 2008
Welcome to issue 72 of HWN, a newsletter covering developments in the Haskell community.
Greetings, Haskellites! As many of you have already heard, Don Stewart has passed on the editorship of the HWN to me (Brent Yorgey). I'd like to thank Don and John Goerzen for their great work putting it together in the past, and I'm excited to make the HWN once again into a reliable, useful compendium of happenings in the Haskell community. You can expect to see a few changes---for example, hackage uploads will no longer be listed in the HWN (unless they are announced on the haskell or haskell-cafe mailing lists), since you can now see a dynamically updated list on the front page of the Haskell wiki. This edition includes all the announcements going back to Issue 71, but only some of the blog posts, since I couldn't find a way to get old feed data from Planet Haskell. Hopefully next week things will settle down to something more normal(ish) and I can begin tinkering with the format. Feel free to send suggestions and/or stories for inclusion to me, byorgey at gmail dot com. Enjoy---'Putting the W back in HWN!'
funsat. Denis Bueno announced a release of funsat, a modern, DPLL-style SAT solver written in Haskell. Funsat solves formulas in conjunctive normal form and produces a total variable assignment for satisfiable problems.
bloomfilter. Bryan O'Sullivan announced the availability of a fast Bloom filter library for Haskell. A Bloom filter is a probabilistic data structure that provides a fast set membership querying capability. It does not give false negatives, but has a tunable false positive rate.
Session Types for Haskell. Matthew Sackman announced the availability of Session Types for Haskell. Session types are a means of describing communication between multiple threads, and statically verifying that the communication being performed is safe and conforms to the specification.
diagrams. Brent Yorgey announced the initial release of Graphics.Rendering.Diagrams, an embedded domain-specific language for creating simple pictures and diagrams, built on top of the Cairo vector graphics library.
Well-Typed LLP. Ian Lynagh announced that he, Björn Bringert and Duncan Coutts have set up a Haskell consultancy company, Well-Typed LLP. Their services include application development, library and tool maintenance, project advice, and training.
xmonad. Don Stewart announced the release of xmonad version 0.7. Updates include improved integration with GNOME, more flexible "rules", various stability fixes, and of course, many new and interesting features in the extension library.
Blog noiseHaskell news from the blogosphere.
- Christophe Poucet (vincenz): ICFP Contest 2008
- Real-World Haskell: CUFP 2007 videos now easier to view
- Wrap-up: mergesort in haskell
- jbofihe and Haskell
- Writing a Regular Expression parser in Haskell: Part 3
- Real World Haskell
- London Haskell Users Group: Next meeting: Paradise, a DSEL for derivatives pricing
- Christophe Poucet (vincenz): Lazy memoization
- Neil Mitchell: GSoC Hoogle: Week 2
- Magnus Therning: Google Treasure Hunt primes question
- Roman Cheplyaka: Status report: week 2
- Andy Gill: The unknown cost of dictionaries
- Edward Kmett: Zapping Adjunctions
- Edward Kmett: Representing Adjunctions
- Andy Gill: Performance problems with functional representation of derivatives
- Conal Elliott: Functional linear maps
Quotes of the Week
- roconnor: if you click your heels and say ``there is no binding like gtk2hs'' then dcoutts will appear and answer your question.
- mauke: the first rule of fix club is "the first rule of fix club is "the first rule of fix club is...
- oerjan: so does this mean that a comonad is like a wildlife preserve on an island in a sea of nuclear waste?
- quicksilver: head-explosion is the solution, not the problem.
- Botje: [on googling for polyvariadic typeclasses] OH GOD THE FIRST HIT IS OLEGS SITE! / *ahum* / I meant, "yay, reading material"
- Baughn: From my point of view, anyone who understands everything ghc can do is /scary/. I'm sure that will change once I reach that level myself, but then again, there's also the possibility that I'll be in a permanent state of autophobia.
- newsham: I think the problem with people asking homework questions in this channel is that the people in this channel don't have enough homework questions of their own to do.
- quicksilver: *** quicksilver beats Deewiant with the i-will-not-use-fail-stick [Deewiant] quicksilver: I'm willing to accept a good alternative. [quicksilver] no. all you are permitted to accept is a beating.
- mar77a: MONAD ARGHH GHGRHGH HGHRGHR RUN
- Cale: Types are a bit like the nubs on lego bricks which provide structural integrity while suggesting how the bricks should fit together.
- quicksilver: zip`ap`tail the aztec god of consecutive numbers
About the Haskell Weekly News
To help create new editions of this newsletter, please
see the contributing
information. Send stories to
byorgey at gmail dot
com. The darcs repository is available at
darcs get http://code.haskell.org/~byorgey/code/hwn/