[Haskell-cafe] Haskell Weekly News: Issue 75 - July 2, 2008

Brent Yorgey byorgey at seas.upenn.edu
Wed Jul 2 15:42:31 EDT 2008

Haskell Weekly News
Issue 75 - July 02, 2008

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


   Anglo Haskell 2008. Matthew Sackman [2]announced [3]AngloHaskell 2008,
   a gathering of all people Haskell-related from beginners, to seasoned
   hackers to academic giants. All and more are welcomed by large fuzzy
   green lambdas. The proposed dates and location are Friday the 8th and
   Saturday the 9th of August, at Imperial College, London.

   CFP - Special Issue of Fundamenta Informaticae on Dependently Typed
   Programming. Wouter Swierstra [4]announced a call for papers for a
   special issue of [5]Fundamenta Informaticae on [6]Dependently Typed
   Programming. The deadline for submissions is October 1.

   Gtk2Hs 0.9.13. Peter Gavin [7]announced the release of Gtk2Hs 0.9.13,
   including bindings for Gnome VFS and GStreamer, a new Gtk+ tutorial
   adapted by Hans van Thiel, cairo image stride support, and more.

   Hasim. Jochem Berndsen [8]announced Hasim, a [9]small project to create
   a library to do discrete event simulation in Haskell, using monads to
   define a domain-specific language for "actions" of a process.

   Galois move. Don Stewart [10]announced that Galois has completed the
   move of its data center. Expect speedier response times for
   hackage.haskell.org and darcs.haskell.org.

Google Summer of Code

   Progress updates from participants in the 2008 [11]Google Summer of

   Hoogle 4. Neil Mitchell (ndm) is working on [12]Hoogle 4. [13]This
   week, Neil worked on better Haddock database generation, lazy name
   searching, and a snazzy --info flag for Hoogle. Next up: type search!

   DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a
   [14]physics engine using [15]Data Parallel Haskell. [16]This week, he
   worked on implementing Mirtich's V-Clip algorithm for collision
   detection (and [17]got it to work), cabalized his project and added
   documentation. He also ran into an interesting QuickCheck puzzle.

   Generic tries. Jamie Brandon is working on a library for efficient maps
   using generalized tries. [18]This week, he created a generic framework
   for automatically running QuickCheck tests at a number of different
   types. This week he plans to synthesize the many suggestions from the
   [19]discussion on the libraries list into a stable API design.

   Language.C. Benedikt Huber (visq) is [20]working on Language.C, a
   standalone parser/pretty printer library for C99. [21]This week he
   worked on a better representation for declarators, and abstracted the
   notion of an InputStream over both String and ByteString, among other

   GHC plugins. Max Bolingbroke is working on dynamically loaded plugins
   for GHC.

   Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a
   [22]make-like dependency analysis framework for Cabal.

   GHC API. Thomas Schilling (nominolo) is working on [23]improvements to
   the GHC API. Officials at HWN headquarters have released a statement
   reversing their previous position regarding the existence of Thomas,
   citing regrettably faulty information to explain their previous
   misapprehensions. Expect to hear more from Thomas soon, now that he has
   finished graduating and moving.


   Proposals and extensions to the [24]standard libraries.

   GetOpt formatting improvements. Duncan Coutts [25]proposed some
   modifications to make the output of the System.Console.GetOpt library
   more readable, resulting in quite a bit of discussion.

   HughesPJ improvements. Benedikt Huber [26]proposed a patch with some
   bug fixes, performance improvements, and QuickCheck test suite for the
   Text.PrettyPrint.HughesPJ pretty-printing library.


   A Monad for on-demand file generation?. Joachim Breitner [27]asked
   about a monad for transparently tracking files which may need to be
   regenerated due to dependencies, leading to an interesting discussion
   of incremental computation, strict vs. lazy I/O, and other issues.

   New mailing list proposal: Haskell-Edu. Benjamin L. Russell sent out a
   message [28]proposing a new mailing list hosted at haskell.org,
   "Haskell-Edu: The Haskell Educational Mailing List." The new mailing
   list would be guided by the principle that Haskell is useful not just
   in research, but also in teaching programming as part of a liberal arts
   education. Comments and discussion welcomed.

   Learning GADT types to simulate dependent types. Paul Johnson is trying
   to use GADTs to simulate aspects of a dependently typed system, and
   [29]asks for help improving his Oleg rating.

   Call graph tool?. C.M.Brown [30]asked whether there is a tool for
   visualizing the call graph for a collection of source files, leading to
   a discussion of various tools.


   Formal methods and automated reasoning at Rockwell Collins. Janis
   Voigtlaender [31]passed on an opening for a Senior Systems Engineer at
   [32]Rockwell Collins. The opening is for a computer scientist or
   engineer to develop and apply automated analysis to computer systems
   and to pursue research in formal methods and automated reasoning.
   Contact: rmgatto at rockwellcollins.com.

Blog noise

   [33]Haskell news from the [34]blogosphere.
     * Roman Cheplyaka: [35]V-Clip seems to work!.
     * Benedikt Huber: [36]Last week on Language.C (1). An update on
       Benedikt's Google Summer of Code project.
     * Jamie Brandon: [37]Week 3 progress. An update on Jamie's Google
       Summer of Code project.
     * Philip Wadler: [38]Welcome to Scotland, Neil, Patricia, and Conor!.
     * >>> codders: [39]Coding style, Haskell. codders likes how Real
       World Haskell gives some hints about Haskell coding style and
       culture in addition to teaching the language itself.
     * >>> zoo: [40]Haskell plug-in for Eclipse. zoo explains how to
       install the [41]Haskell Eclipse plugin.
     * Dan Piponi (sigfpe): [42]A blessed man's formula for holey
       containers. Dan descries an enlightening derivation of the
       [43]combinatorial form of Faa di Bruno's formula from the
       perspective of derivatives of types.
     * Roman Cheplyaka: [44]Status report: week 5. An update on Roman's
       Google Summer of Code project.
     * >>> codders: [45]More Haskell fun.
     * >>> Marco Tulio Gontijo e Silva: [46]Rank 2 Types. Marco describes
       a practical use for GHC's rank-2 types.
     * Edward Kmett: [47]Memoizing Context.
     * >>> JP Moresmau: [48]Deserializing JSON to Haskell Data objects.
     * >>> codders: [49]Getting started with Haskell... still. codders is
       learning Haskell by reading the beta version of [50]Real World
     * Neil Mitchell: [51]GSoC Hoogle: Week 5.
     * Arnar: [52]Parsing JSON with Haskell. A nice example of using
       [53]Parsec to parse JSON.
     * Thomas Hartman: [54]HAppS Tutorial.

Quotes of the Week

     * quicksilver: [on what OS sjanssen uses] sjanssen runs haskell
       programs in his head; much more efficient.
     * EvilTerran: "We were somewhere around Barstow, on the edge of the
       desert, when the phantom types began to take hold."
     * audreyt: o/~ the phantom of the typesystem is here / inside my
       mind! o/~
     * dmwit: No, no, no, ($) isn't right-assoc, it's wrong-assoc.
     * solrize: this would never happen in haskell: i sent in a search
       query to a certain python program, but left the query field empty,
       expecting to get back an error message. instead it found a bunch of
       books written by the diet doctor Gary Null.
     * heatsink: We're all inside do-blocks in the IO monad if you think
       about it.
     * djsiegel: [upon having a question answered by dons] oh my, I'm
       talking to the man
     * mar77a: the first computers were big because they were actually
       cupboards with fast humans inside

About the Haskell Weekly News

   New editions are posted to [55]the Haskell mailing list as well as to
   [56]the Haskell Sequence and [57]Planet Haskell. [58]RSS is also
   available, and headlines appear on [59]haskell.org. Headlines are
   available as [60]PDF.

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


   1. http://haskell.org/
   2. http://article.gmane.org/gmane.comp.lang.haskell.general/16272
   3. http://www.haskell.org/haskellwiki/AngloHaskell/2008
   4. http://article.gmane.org/gmane.comp.lang.haskell.general/16269
   5. http://fi.mimuw.edu.pl/
   6. http://sneezy.cs.nott.ac.uk/darcs/DTP08/journal.html
   7. http://www.haskell.org//pipermail/haskell-cafe/2008-June/044805.html
   8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41881
   9. http://huygens.functor.nl/hasim
  10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41847
  11. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008
  12. http://code.haskell.org/hoogle/
  13. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-5.html
  14. http://haskell.org/haskellwiki/Hpysics
  15. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell
  16. http://physics-dph.blogspot.com/2008/06/status-report-week-5.html
  17. http://physics-dph.blogspot.com/2008/07/v-clip-seems-to-work.html
  18. http://jamiiecb.blogspot.com/2008/06/week-3-progress.html
  19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/9259
  20. http://www.sivity.net/projects/language.c/wiki/
  21. http://hsbene.blogspot.com/2008/07/last-week-on-languagec-1.html
  22. http://code.haskell.org/~Saizan/cabal
  23. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus
  24. http://haskell.org/haskellwiki/Library_submissions
  25. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9415
  26. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9377
  27. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41868
  28. http://thread.gmane.org/gmane.comp.lang.haskell.general/16271
  29. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41848
  30. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41786
  31. http://article.gmane.org/gmane.comp.lang.haskell.general/16266
  32. http://www.rockwellcollins.com/
  33. http://planet.haskell.org/
  34. http://haskell.org/haskellwiki/Blog_articles
  35. http://physics-dph.blogspot.com/2008/07/v-clip-seems-to-work.html
  36. http://hsbene.blogspot.com/2008/07/last-week-on-languagec-1.html
  37. http://jamiiecb.blogspot.com/2008/06/week-3-progress.html
  38. http://wadler.blogspot.com/2008/06/welcome-to-scotland-neil-patricia-and.html
  39. http://talkingcode.co.uk/2008/06/30/coding-style-haskell/
  40. http://imonad.com/blog/2008/06/haskell-plug-in-for-eclipse/
  41. http://sourceforge.net/projects/eclipsefp/
  42. http://sigfpe.blogspot.com/2008/06/blessed-mans-formula-for-holey.html
  43. http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno's_formula#Combinatorial_form
  44. http://physics-dph.blogspot.com/2008/06/status-report-week-5.html
  45. http://talkingcode.co.uk/2008/06/28/more-haskell-fun/
  46. http://marcotmarcot.blogspot.com/2008/06/rank-2-types.html
  47. http://comonad.com/reader/2008/memoizing-context/
  48. http://jpmoresmau.blogspot.com/2008/06/deserializing-json-to-haskell-data.html
  49. http://talkingcode.co.uk/2008/06/27/getting-started-with-haskell-still/
  50. http://www.realworldhaskell.org/
  51. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-5.html
  52. http://www.hvergi.net/2008/06/parsing-json-with-haskell/
  53. http://legacy.cs.uu.nl/daan/parsec.html
  54. http://ramblings.tumblr.com/post/39794244/happs-tutorial
  55. http://www.haskell.org/mailman/listinfo/haskell
  56. http://sequence.complete.org/
  57. http://planet.haskell.org/
  58. http://sequence.complete.org/node/feed
  59. http://haskell.org/
  60. http://code.haskell.org/~byorgey/code/hwn/archives/20080702.pdf
  61. http://haskell.org/haskellwiki/HWN
  62. http://code.haskell.org/~byorgey/code/hwn/

More information about the Haskell-Cafe mailing list