Haskell Weekly News: October 1, 2008
Welcome to issue 87 of HWN, a newsletter covering developments in the Haskell community.
ICFP was held last week in Victoria, and by all accounts was a great success! This edition of the HWN includes much ICFP and Haskell Symposium-related content, including videos of the Haskell symposium presentations, programming contest results, some notes on the future of Haskell, and slides from a Haskell tutorial and a talk about the Haskell Platform. But ICFP didn't seem to slow down the community all that much: you'll find the usual mix of newly released and updated packages, blog posts, mailing list discussions, and silly quotes as well.
Haskell-Embedded System Design: ForSyDe 3.0 and Tutorial. Alfonso Acosta announced the 3.0 release of ForSyDe. The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design (e.g. System on Chip, Hardware and Software systems) to a higher level of abstraction. ForSyDe is implemented as a Haskell-embedded behavioral DSL (Domain Specific Language). The 3.0 release includes a new deep-embedded DSL and embedded compiler, as well as a new user-friendly tutorial.
Graphalyze-0.1. Ivan Miljenovic announced the initial release of his graph-theoretic analysis library, Graphalyze. This is a pre-release of the library he is writing for his mathematics honours thesis, "Graph-Theoretic Analysis of the Relationships in Discrete Data".
A Functional Implementation of the Garsia-Wachs Algorithm. Nicolas Pouillard announced a Haskell implementation of an algorithm that builds a binary tree with minimum weighted path length from weighted leaf nodes given in symmetric order. This can be used to build optimum search tables, to balance a 'ropes' data structure in an optimal way.
graphviz-2008.9.20. Ivan Miljenovic announced a new version of Matthew Sackman's Haskell bindings to Graphviz. See Ivan's original announcement for information on what new features are included, and what the difference is among the various graphviz-related packages on Hackage.
darcs 2.1.0pre2. Eric Kow announced the release of darcs 2.1.0pre2, formerly known as 2.0.3. See Eric's announcement for a list of new features and bug fixes in this release.
protocol-buffers-0.2.9 for Haskell is ready. ChrisK announced the release of the protocol-buffers package, which generates Haskell data types that can be converted back and forth to lazy ByteStrings that interoperate with Google's generated code in C++/Java/python.
OpenSPARC project applicant chosen. Duncan Coutts announced that Ben Lippmeier has been chosen for the OpenSPARC project. Ben will spend three months hacking on GHC to make it perform well on the latest multi-core OpenSPARC chips.
Hugs on the iPhone. Alberto Galdo announced that he has gotten Hugs to run on the iPhone, and has made packages available for others who would like to install it as well.
Shooting yourself in the foot in Haskell. John Van Enk asked how to shoot yourself in the foot with Haskell, with humorous results.
Total Functional Programming in Haskell. Jason Dagit started a discussion on total functional programming, Haskell, abstraction boundaries and the IO monad, and related topics.
Health effects. Andrew Coppin told a story about a chocolate bar and recursion, which led to a discussion of optimization problems, Dedekind cuts, some meta-discussion of the discussion, and entirely too many puns.
The container problem. Andrew Coppin asked about the possibility if abstracting over various sorts of containers in Haskell, and why there isn't a widely used library that does this. A discussion of various container libraries and the language issues that arise followed.
Red-Blue Stack. Matthew Eastman asked how to implement a certain data structure (red-blue stacks) in Haskell. Several people responded with increasingly clever solutions, and a comparison of mutating vs. non-mutating algorithms.
Climbing up the shootout.... Don Stewart began a long and ongoing discussion about improving Haskell's performance on benchmarks in the Shootout, now that there is a quad core machine for running benchmarks!
Line noise. Andrew Coppin started an interesting discussion about perceptions of Haskell syntax by programmers who aren't familiar with it.
London FP job in asset management. Michael Bott announced an opportunity for two functional programmers based in London, with a software house specialising in asset management.
Blog noiseHaskell news from the blogosphere.
Creighton Hogg: Some first steps with Data.Reactive. Creighton gives some simple examples of using Conal Elliott's Reactive library. More to come!
Bryan O'Sullivan: Unix hacking in Haskell: better pseudoterminal support.
Creighton Hogg: One last thought on laziness. In Creighton's opinion, laziness is the single hardest thing to get used to in Haskell. If you're learning Haskell, don't despair, break out the pencil and paper!
Douglas M. Auclair (geophf): Animal as RDR, part III.
Neil Mitchell: General Updates.
Don Stewart (dons): Newest Mersenne Prime. Haskell doesn't even break a sweat computing the largest known prime number.
Douglas M. Auclair (geophf): Animal as RDR, part II.
Bryan O'Sullivan: Using Bloom filters for large scale gene sequence analysis in Haskell. A paper that Bryan and Ketil Malde submitted to PADL 09. "The Cliff's Notes version: Bloom filters are almost unused in bioinformatics; they're tremendously useful; and our Haskell code is really fast.
>>> Zubin Wadia: Simon Peyton Jones & Microsoft Research Cambridge. Zubin thinks quite highly of SPJ and MSR Cambridge.
Bryan O'Sullivan: Slides from my DEFUN 2008 Haskell tutorial.
Mads Lindstroem: Inheritance in Composites and Overlapping Instances.
>>> Micah Cowan: Adventures in Haskell. Micah shares some thoughts on learning Haskell.
Bryan O'Sullivan: Some notes on the future of Haskell and FP.
Well-Typed.Com: Slides from the Haskell Platform talk.
>>> Nathan Sanders: Two weeks of Haskell. Nathan shares some thoughts on his first two weeks learning Haskell.
Bryan O'Sullivan: Twittering from ICFP / Haskell symposium / CUFP.
Real-World Haskell: Slides from ACCU talk.
Eric Kow (kowey): darcs weekly news #5.
John Goerzen (CosmicRay): New version of datapacker.
>>> James Cowie: Haskell, the verdict!. James is impressed with Haskell after using it for a few weeks.
>>> Alex Combas: What's all this fuss about Haskell?. Alex is thinking of learning Haskell in his spare time.
Aaron Tomb: Parsing the Linux kernel with Haskell: experience with Language.C. Aaron is impressed by the new Language.C libraries, which parses all 18 million pre-processed lines of Linux kernel source with no problems!
Quotes of the Week
- Fuse_: Oh, sorry for hijacking mathematical purity with dirty fiscal dynamical systems. :o
- mauke: <mauke> data Mushroom badger = Mushroom badger badger badger badger badger badger badger badger badger <leimy> where's the snake <mauke> deriving Snake
- ddarius: higher order of lambdabot deployment and management engineers or HOLDME
- Botje: #haskell: parallellising your homework answers!
- olsner: most everything gives nicer everything than perl
- Botje: fuzzy feelings aren't always aerodynamic, unfortunately.
- chrisdone: benchmarks only exist to make fun of ruby
- Claus Reinke: [on breaking code up into smaller bits] Once your readers understand your code, you can add the one-liner and ask for applause.
- Jake Mcarthur: A fold by any other name would smell as sweet.
- lispy: Schroedinger's cat is really in a thunk not a box
- Bulat: Haskell was developed with goal to hide implementation details from egg-headed scientists and this obviously should have some drawbacks
About the Haskell Weekly News
To help create new editions of this newsletter, please
see the information on how
to contribute. Send stories to
byorgey at cis dot upenn
dot edu. The darcs repository is available at
darcs get http://code.haskell.org/~byorgey/code/hwn/