Haskell Weekly News: November 22, 2008
Welcome to issue 94 of HWN, a newsletter covering developments in the Haskell community.
Lots of interesting reading this week! Martin Escardo writes about finite search over infinite search spaces expressed as a monad; Conal Elliott writes about the unambiguous choice operator and merging partial values; Luke Palmer on restricted data types and Udon, his system for universal distributed object management; a post about incremental parsing in Yi; Ryan Ingram on parametric higher-order abstract syntax; Issue #12 of the Monad.Reader; and much more!
The Monad.Reader - Issue 12: Summer of Code Special. Wouter Swierstra announced Issue 12 of the Monad.Reader, featuring articles by Max Bolingbroke, Roman Cheplyaka, and Neil Mitchell describing their Summer of Code projects.
Proof of a multi-threaded application. Silviu Andrica asked about the possibility of proving the correctness of a multi-threaded application written in Haskell, leading to a discussion of STM, model checking, and related issues.
Monadic bind with associated types + PHOAS?. Ryan Ingram wrote about using parametric higher-order abstract syntax to get the benefits of HOAS (using the embedding language to express binding and substitution) while still being able to inspect or optimize the resulting expressions.
Blog noiseHaskell news from the blogosphere.
Ashish Hanwadikar: More on Haskell DSL.
Real-World Haskell: Real World Haskell in the Wild!.
Conal Elliott: Merging partial values.
John Goerzen (CosmicRay): If Programming Languages Were Christmas Carols.
Conal Elliott: Functional concurrency with unambiguous choice.
>>> Martin Escardo: A Haskell monad for infinite search in finite time.
The GHC Team: Redesigning GHC's build system.
Luke Palmer: Restricted Data Types.
Roman Cheplyaka: The Monad Reader, SoC special.
Darcs: camp irregular news #1.
Eric Kow (kowey): iterative committing.
>>> Joey Hess: a year of haskell (not really).
FP Lunch: The origin of species.
Luke Palmer: Udon Sketch #2.
John Goerzen (CosmicRay): Real World Haskell Update.
Real-World Haskell: When will you see us on bookstore shelves?.
Paul Potts: Reading Real World Haskell.
Darcs: darcs 2.1.2 released!.
Darcs: darcs weekly news #12.
Russell O'Connor: Haskell Lesson.
Conal Elliott: Enhancing a Zip.
Conal Elliott: Proofs for left fold zipping.
>>> Andrew Birkett: Why do they call it: Referentially transparent.
>>> Andrew Birkett: Why do they call it: Referentially transparent (II).
Quotes of the Week
- dons: instance Ord OCaml, oh wait. hang on. OCaml can't do that.
- BONUS: as you can see, one of the best parts of Haskell is #haskell.
- ddarius: head  :: FlyingMonkeys
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/