[Haskell-cafe] 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-Cafe
mailing list