Editorial = Just "Lots of interesting reading this week! Martin Escardo writes about [http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/ finite search over infinite search spaces expressed as a monad]; Conal Elliott writes about [http://feeds.feedburner.com/~r/conal/~3/461480571/ the unambiguous choice operator] and [http://feeds.feedburner.com/~r/conal/~3/461534658/ merging partial values]; Luke Palmer on [http://lukepalmer.wordpress.com/2008/11/20/restricted-data-types/ restricted data types] and [http://lukepalmer.wordpress.com/2008/11/19/udon-sketch-2/ Udon], his system for universal distributed object management; a post about [http://yi-editor.blogspot.com/2008/11/incremental-parsing-in-yi.html incremental parsing in Yi]; Ryan Ingram on [http://www.haskell.org//pipermail/haskell-cafe/2008-November/050768.html parametric higher-order abstract syntax]; Issue #12 of [http://www.haskell.org/haskellwiki/The_Monad.Reader the Monad.Reader]; and much more!", Community [ ], Announce [ Item "The Monad.Reader - Issue 12: Summer of Code Special" "Wouter Swierstra" "[http://www.haskell.org//pipermail/haskell-cafe/2008-November/050786.html announced] Issue 12 of [http://www.haskell.org/haskellwiki/The_Monad.Reader the Monad.Reader], featuring articles by Max Bolingbroke, Roman Cheplyaka, and Neil Mitchell describing their Summer of Code projects.", Item "Turbinado V0.1" "Alson Kemp" "[http://www.haskell.org//pipermail/haskell/2008-November/020811.html announced] the release of [http://www.turbinado.org/ Turbinado], an MVC web framework for Haskell.", Item "EEConfig-1.0" "Bartosz Wojcik" "[http://www.haskell.org//pipermail/haskell/2008-November/020810.html announced] the release of [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EEConfig EEConfig], a simple library for reading parameters from a configuration file." ], HaskellPrime [ ], Libraries [ ], Conferences Nothing [ ], Discussion [ Item "Proof of a multi-threaded application" "Silviu Andrica" "[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/47728 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.", Item "Monadic bind with associated types + PHOAS?" "Ryan Ingram" "[http://www.haskell.org//pipermail/haskell-cafe/2008-November/050768.html 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." ], Jobs [ ], Blogs [ Post "2008-11-19" "Joey Hess" "a year of haskell (not really)" "" "http://kitenet.net/~joey/blog/entry/a_year_of_haskell___40__not_really__41__/" NP, Post "2008-11-12" "Andrew Birkett" "Why do they call it: Referentially transparent" "" "http://www.nobugs.org/blog/archives/2008/11/12/why-do-they-call-it-referentially-transparent/" NP, Post "2008-11-12" "Andrew Birkett" "Why do they call it: Referentially transparent (II)" "" "http://www.nobugs.org/blog/archives/2008/11/12/why-do-they-call-it-referentially-transparent-ii/" NP, Post "2008-11-21" "Martin Escardo" "A Haskell monad for infinite search in finite time" "" "http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/" NP, Post "2008-11-22" "Ashish Hanwadikar" "More on Haskell DSL" "" "http://feedproxy.google.com/~r/typepad/ahanwadi/ashishs_niti/~3/n41w6S_82SE/more-on-haskell.html" N, Post "2008-11-22" "Real-World Haskell" "Real World Haskell in the Wild!" "" "http://www.realworldhaskell.org/blog/2008/11/22/real-world-haskell-in-the-wild/" N, Post "2008-11-22" "Conal Elliott" "Merging partial values" "" "http://feeds.feedburner.com/~r/conal/~3/461534658/" N, Post "2008-11-22" "John Goerzen (CosmicRay)" "If Programming Languages Were Christmas Carols" "" "http://changelog.complete.org/archives/825-if-programming-languages-were-christmas-carols" N, Post "2008-11-22" "Conal Elliott" "Functional concurrency with unambiguous choice" "" "http://feeds.feedburner.com/~r/conal/~3/461480571/" N, Post "2008-11-21" "The GHC Team" "Redesigning GHC's build system" "" "http://ghcmutterings.wordpress.com/2008/11/21/redesigning-ghcs-build-system/" N, Post "2008-11-20" "Luke Palmer" "Restricted Data Types" "" "http://lukepalmer.wordpress.com/2008/11/20/restricted-data-types/" N, Post "2008-11-20" "Yi" "Incremental Parsing in Yi" "" "http://yi-editor.blogspot.com/2008/11/incremental-parsing-in-yi.html" N, Post "2008-11-20" "Roman Cheplyaka" "The Monad Reader, SoC special" "" "http://physics-dph.blogspot.com/2008/11/monad-reader-soc-special.html" N, Post "2008-11-20" "Darcs" "camp irregular news #1" "" "http://blog.darcs.net/2008/11/camp-irregular-news-1.html" N, Post "2008-11-20" "Eric Kow (kowey)" "iterative committing" "" "http://koweycode.blogspot.com/2008/11/iterative-commiting.html" N, Post "2008-11-19" "FP Lunch" "The origin of species" "" "http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=132" N, Post "2008-11-19" "Luke Palmer" "Udon Sketch #2" "" "http://lukepalmer.wordpress.com/2008/11/19/udon-sketch-2/" N, Post "2008-11-18" "John Goerzen (CosmicRay)" "Real World Haskell Update" "" "http://changelog.complete.org/archives/814-real-world-haskell-update" N, Post "2008-11-18" "Real-World Haskell" "When will you see us on bookstore shelves?" "" "http://www.realworldhaskell.org/blog/2008/11/18/when-will-you-see-us-on-bookstore-shelves/" N, Post "2008-11-17" "Paul Potts" "Reading Real World Haskell" "" "http://praisecurseandrecurse.blogspot.com/2008/11/reading-real-world-haskell.html" N, Post "2008-11-17" "Darcs" "darcs 2.1.2 released!" "" "http://blog.darcs.net/2008/11/darcs-212-released.html" N, Post "2008-11-17" "Darcs" "darcs weekly news #12" "" "http://blog.darcs.net/2008/11/darcs-weekly-news-12.html" N, Post "2008-11-16" "Russell O'Connor" "Haskell Lesson" "" "http://r6.ca/blog/20081116T213644Z.html" N, Post "2008-11-16" "Conal Elliott" "Enhancing a Zip" "" "http://feeds.feedburner.com/~r/conal/~3/454447926/" N, Post "2008-11-15" "Conal Elliott" "Proofs for left fold zipping" "" "http://feeds.feedburner.com/~r/conal/~3/454297817/" N ], Quotes [ Quote "dons" "instance Ord OCaml, oh wait. hang on. OCaml can't do that.", Quote "BONUS" "as you can see, one of the best parts of Haskell is #haskell.", Quote "ddarius" "head [] :: FlyingMonkeys" ], Commits [ ] -- vim: paste