[Haskell] Haskell Weekly News: Issue 94 - November 22, 2008

Brent Yorgey byorgey at seas.upenn.edu
Sat Nov 22 16:09:12 EST 2008


---------------------------------------------------------------------------
Haskell Weekly News
http://sequence.complete.org/hwn/20081122
Issue 94 - November 22, 2008
---------------------------------------------------------------------------

   Welcome to issue 94 of HWN, a newsletter covering developments in the
   [1]Haskell community.

   Lots of interesting reading this week! Martin Escardo writes about
   [2]finite search over infinite search spaces expressed as a monad;
   Conal Elliott writes about [3]the unambiguous choice operator and
   [4]merging partial values; Luke Palmer on [5]restricted data types and
   [6]Udon, his system for universal distributed object management; a post
   about [7]incremental parsing in Yi; Ryan Ingram on [8]parametric
   higher-order abstract syntax; Issue #12 of [9]the Monad.Reader; and
   much more!

Announcements

   The Monad.Reader - Issue 12: Summer of Code Special. Wouter Swierstra
   [10]announced Issue 12 of [11]the Monad.Reader, featuring articles by
   Max Bolingbroke, Roman Cheplyaka, and Neil Mitchell describing their
   Summer of Code projects.

   Turbinado V0.1. Alson Kemp [12]announced the release of [13]Turbinado,
   an MVC web framework for Haskell.

   EEConfig-1.0. Bartosz Wojcik [14]announced the release of [15]EEConfig,
   a simple library for reading parameters from a configuration file.

Discussion

   Proof of a multi-threaded application. Silviu Andrica [16]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 [17]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 noise

   [18]Haskell news from the [19]blogosphere.
     * Ashish Hanwadikar: [20]More on Haskell DSL.
     * Real-World Haskell: [21]Real World Haskell in the Wild!.
     * Conal Elliott: [22]Merging partial values.
     * John Goerzen (CosmicRay): [23]If Programming Languages Were
       Christmas Carols.
     * Conal Elliott: [24]Functional concurrency with unambiguous choice.
     * >>> Martin Escardo: [25]A Haskell monad for infinite search in
       finite time.
     * The GHC Team: [26]Redesigning GHC's build system.
     * Luke Palmer: [27]Restricted Data Types.
     * Yi: [28]Incremental Parsing in Yi.
     * Roman Cheplyaka: [29]The Monad Reader, SoC special.
     * Darcs: [30]camp irregular news #1.
     * Eric Kow (kowey): [31]iterative committing.
     * >>> Joey Hess: [32]a year of haskell (not really).
     * FP Lunch: [33]The origin of species.
     * Luke Palmer: [34]Udon Sketch #2.
     * John Goerzen (CosmicRay): [35]Real World Haskell Update.
     * Real-World Haskell: [36]When will you see us on bookstore shelves?.
     * Paul Potts: [37]Reading Real World Haskell.
     * Darcs: [38]darcs 2.1.2 released!.
     * Darcs: [39]darcs weekly news #12.
     * Russell O'Connor: [40]Haskell Lesson.
     * Conal Elliott: [41]Enhancing a Zip.
     * Conal Elliott: [42]Proofs for left fold zipping.
     * >>> Andrew Birkett: [43]Why do they call it: Referentially
       transparent.
     * >>> Andrew Birkett: [44]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

   New editions are posted to [45]the Haskell mailing list as well as to
   [46]the Haskell Sequence and [47]Planet Haskell. [48]RSS is also
   available, and headlines appear on [49]haskell.org.

   To help create new editions of this newsletter, please see the
   information on [50]how to contribute. Send stories to byorgey at cis
   dot upenn dot edu. The darcs repository is available at darcs get
   [51]http://code.haskell.org/~byorgey/code/hwn/ .

References

   1. http://haskell.org/
   2. http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/
   3. http://feeds.feedburner.com/~r/conal/~3/461480571/
   4. http://feeds.feedburner.com/~r/conal/~3/461534658/
   5. http://lukepalmer.wordpress.com/2008/11/20/restricted-data-types/
   6. http://lukepalmer.wordpress.com/2008/11/19/udon-sketch-2/
   7. http://yi-editor.blogspot.com/2008/11/incremental-parsing-in-yi.html
   8. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050768.html
   9. http://www.haskell.org/haskellwiki/The_Monad.Reader
  10. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050786.html
  11. http://www.haskell.org/haskellwiki/The_Monad.Reader
  12. http://www.haskell.org//pipermail/haskell/2008-November/020811.html
  13. http://www.turbinado.org/
  14. http://www.haskell.org//pipermail/haskell/2008-November/020810.html
  15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EEConfig
  16. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/47728
  17. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050768.html
  18. http://planet.haskell.org/
  19. http://haskell.org/haskellwiki/Blog_articles
  20. http://feedproxy.google.com/~r/typepad/ahanwadi/ashishs_niti/~3/n41w6S_82SE/more-on-haskell.html
  21. http://www.realworldhaskell.org/blog/2008/11/22/real-world-haskell-in-the-wild/
  22. http://feeds.feedburner.com/~r/conal/~3/461534658/
  23. http://changelog.complete.org/archives/825-if-programming-languages-were-christmas-carols
  24. http://feeds.feedburner.com/~r/conal/~3/461480571/
  25. http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/
  26. http://ghcmutterings.wordpress.com/2008/11/21/redesigning-ghcs-build-system/
  27. http://lukepalmer.wordpress.com/2008/11/20/restricted-data-types/
  28. http://yi-editor.blogspot.com/2008/11/incremental-parsing-in-yi.html
  29. http://physics-dph.blogspot.com/2008/11/monad-reader-soc-special.html
  30. http://blog.darcs.net/2008/11/camp-irregular-news-1.html
  31. http://koweycode.blogspot.com/2008/11/iterative-commiting.html
  32. http://kitenet.net/~joey/blog/entry/a_year_of_haskell___40__not_really__41__/
  33. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=132
  34. http://lukepalmer.wordpress.com/2008/11/19/udon-sketch-2/
  35. http://changelog.complete.org/archives/814-real-world-haskell-update
  36. http://www.realworldhaskell.org/blog/2008/11/18/when-will-you-see-us-on-bookstore-shelves/
  37. http://praisecurseandrecurse.blogspot.com/2008/11/reading-real-world-haskell.html
  38. http://blog.darcs.net/2008/11/darcs-212-released.html
  39. http://blog.darcs.net/2008/11/darcs-weekly-news-12.html
  40. http://r6.ca/blog/20081116T213644Z.html
  41. http://feeds.feedburner.com/~r/conal/~3/454447926/
  42. http://feeds.feedburner.com/~r/conal/~3/454297817/
  43. http://www.nobugs.org/blog/archives/2008/11/12/why-do-they-call-it-referentially-transparent/
  44. http://www.nobugs.org/blog/archives/2008/11/12/why-do-they-call-it-referentially-transparent-ii/
  45. http://www.haskell.org/mailman/listinfo/haskell
  46. http://sequence.complete.org/
  47. http://planet.haskell.org/
  48. http://sequence.complete.org/node/feed
  49. http://haskell.org/
  50. http://haskell.org/haskellwiki/HWN
  51. http://code.haskell.org/~byorgey/code/hwn/


More information about the Haskell mailing list