Editorial = Nothing, Community [ ], Announce [ Item "Anglo Haskell 2008" "Matthew Sackman" "[http://article.gmane.org/gmane.comp.lang.haskell.general/16272 announced] [http://www.haskell.org/haskellwiki/AngloHaskell/2008 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.", Item "CFP - Special Issue of Fundamenta Informaticae on Dependently Typed Programming" "Wouter Swierstra" "[http://article.gmane.org/gmane.comp.lang.haskell.general/16269 announced] a call for papers for a special issue of [http://fi.mimuw.edu.pl/ Fundamenta Informaticae] on [http://sneezy.cs.nott.ac.uk/darcs/DTP08/journal.html Dependently Typed Programming]. The deadline for submissions is October 1.", Item "Gtk2Hs 0.9.13" "Peter Gavin" "[http://www.haskell.org//pipermail/haskell-cafe/2008-June/044805.html 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.", Item "Hasim" "Jochem Berndsen" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/41881 announced] Hasim, a [http://huygens.functor.nl/hasim 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.", Item "Galois move" "Don Stewart" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/41847 announced] that Galois has completed the move of its data center. Expect speedier response times for hackage.haskell.org and darcs.haskell.org." ], GSoC [ Item "Hoogle 4" "Neil Mitchell (ndm)" "is working on [http://code.haskell.org/hoogle/ Hoogle 4]. [http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-5.html This week], Neil worked on better Haddock database generation, lazy name searching, and a snazzy --info flag for Hoogle. Next up: type search!", Item "DPH physics engine" "Roman Cheplyaka (Feuerbach)" "is working on a [http://haskell.org/haskellwiki/Hpysics physics engine] using [http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell Data Parallel Haskell]. [http://physics-dph.blogspot.com/2008/06/status-report-week-5.html This week], he worked on implementing Mirtich's V-Clip algorithm for collision detection (and [http://physics-dph.blogspot.com/2008/07/v-clip-seems-to-work.html got it to work]), cabalized his project and added documentation. He also ran into an interesting QuickCheck puzzle.", Item "Generic tries" "Jamie Brandon" "is working on a library for efficient maps using generalized tries. [http://jamiiecb.blogspot.com/2008/06/week-3-progress.html 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 [http://thread.gmane.org/gmane.comp.lang.haskell.libraries/9259 discussion on the libraries list] into a stable API design.", Item "Language.C" "Benedikt Huber (visq)" "is [http://www.sivity.net/projects/language.c/wiki/ working on Language.C], a standalone parser/pretty printer library for C99. [http://hsbene.blogspot.com/2008/07/last-week-on-languagec-1.html This week] he worked on a better representation for declarators, and abstracted the notion of an InputStream over both String and ByteString, among other accomplishments.", Item "GHC plugins" "Max Bolingbroke" "is working on dynamically loaded plugins for GHC.", Item "Cabal dependency framework" "Andrea Vezzosi (Saizan)" "is working on a [http://code.haskell.org/~Saizan/cabal make-like dependency analysis framework] for Cabal.", Item "GHC API" "Thomas Schilling (nominolo)" "is working on [http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 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." ], HaskellPrime [ ], Libraries [ Item "GetOpt formatting improvements" "Duncan Coutts" "[http://article.gmane.org/gmane.comp.lang.haskell.libraries/9415 proposed] some modifications to make the output of the System.Console.GetOpt library more readable, resulting in quite a bit of discussion.", Item "HughesPJ improvements" "Benedikt Huber" "[http://article.gmane.org/gmane.comp.lang.haskell.libraries/9377 proposed] a patch with some bug fixes, performance improvements, and QuickCheck test suite for the Text.PrettyPrint.HughesPJ pretty-printing library." ], Conferences Nothing [ ], Discussion [ Item "A Monad for on-demand file generation?" "Joachim Breitner" "[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41868 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.", Item "New mailing list proposal: Haskell-Edu" "Benjamin L. Russell" "sent out a message [http://thread.gmane.org/gmane.comp.lang.haskell.general/16271 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.", Item "Learning GADT types to simulate dependent types" "Paul Johnson" "is trying to use GADTs to simulate aspects of a dependently typed system, and [http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41848 asks] for help improving his Oleg rating.", Item "Call graph tool?" "C.M.Brown" "[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41786 asked] whether there is a tool for visualizing the call graph for a collection of source files, leading to a discussion of various tools." ], Jobs [ Item "Formal methods and automated reasoning at Rockwell Collins" "Janis Voigtlaender" "[http://article.gmane.org/gmane.comp.lang.haskell.general/16266 passed on] an opening for a Senior Systems Engineer at [http://www.rockwellcollins.com 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." ], Blogs [ Post "2008-07-01" "Roman Cheplyaka" "V-Clip seems to work!" "" "http://physics-dph.blogspot.com/2008/07/v-clip-seems-to-work.html" N, Post "2008-07-01" "Benedikt Huber" "Last week on Language.C (1)" "An update on Benedikt's Google Summer of Code project." "http://hsbene.blogspot.com/2008/07/last-week-on-languagec-1.html" N, Post "2008-06-30" "Jamie Brandon" "Week 3 progress" "An update on Jamie's Google Summer of Code project." "http://jamiiecb.blogspot.com/2008/06/week-3-progress.html" N, Post "2008-06-27" "Marco Tulio Gontijo e Silva" "Rank 2 Types" "Marco describes a practical use for GHC's rank-2 types." "http://marcotmarcot.blogspot.com/2008/06/rank-2-types.html" NP, Post "2008-06-30" "Philip Wadler" "Welcome to Scotland, Neil, Patricia, and Conor!" "" "http://wadler.blogspot.com/2008/06/welcome-to-scotland-neil-patricia-and.html" N, Post "2008-06-28" "Dan Piponi (sigfpe)" "A blessed man's formula for holey containers" "Dan descries an enlightening derivation of the [http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno's_formula#Combinatorial_form combinatorial form of Faa di Bruno's formula] from the perspective of derivatives of types." "http://sigfpe.blogspot.com/2008/06/blessed-mans-formula-for-holey.html" N, Post "2008-06-28" "Roman Cheplyaka" "Status report: week 5" "An update on Roman's Google Summer of Code project." "http://physics-dph.blogspot.com/2008/06/status-report-week-5.html" N, Post "2008-06-27" "Edward Kmett" "Memoizing Context" "" "http://comonad.com/reader/2008/memoizing-context/" N, Post "2008-06-29" "zoo" "Haskell plug-in for Eclipse" "zoo explains how to install the [http://sourceforge.net/projects/eclipsefp/ Haskell Eclipse plugin]." "http://imonad.com/blog/2008/06/haskell-plug-in-for-eclipse/" NP, Post "2008-06-27" "JP Moresmau" "Deserializing JSON to Haskell Data objects" "" "http://jpmoresmau.blogspot.com/2008/06/deserializing-json-to-haskell-data.html" NP, Post "2008-06-30" "codders" "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." "http://talkingcode.co.uk/2008/06/30/coding-style-haskell/" NP, Post "2008-06-28" "codders" "More Haskell fun" "" "http://talkingcode.co.uk/2008/06/28/more-haskell-fun/" NP, Post "2008-06-27" "codders" "Getting started with Haskell... still" "codders is learning Haskell by reading the beta version of [http://www.realworldhaskell.org/ Real World Haskell]." "http://talkingcode.co.uk/2008/06/27/getting-started-with-haskell-still/" NP, Post "2008-06-26" "Neil Mitchell" "GSoC Hoogle: Week 5" "" "http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-5.html" N, Post "2008-06-25" "Thomas Hartman" "HAppS Tutorial" "" "http://ramblings.tumblr.com/post/39794244/happs-tutorial" N, Post "2008-06-26" "Arnar" "Parsing JSON with Haskell" "A nice example of using [http://legacy.cs.uu.nl/daan/parsec.html Parsec] to parse JSON." "http://www.hvergi.net/2008/06/parsing-json-with-haskell/" N ], Quotes [ Quote "quicksilver" "[on what OS sjanssen uses] sjanssen runs haskell programs in his head; much more efficient.", Quote "EvilTerran" "\"We were somewhere around Barstow, on the edge of the desert, when the phantom types began to take hold.\"", Quote "audreyt" "o/~ the phantom of the typesystem is here / inside my mind! o/~", Quote "dmwit" "No, no, no, (\\$) isn't right-assoc, it's wrong-assoc.", Quote "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.", Quote "heatsink" "We're all inside do-blocks in the IO monad if you think about it.", Quote "djsiegel" "[upon having a question answered by dons] oh my, I'm talking to the man", Quote "mar77a" "the first computers were big because they were actually cupboards with fast humans inside" ], Commits [ ] -- vim: paste