Haskell Weekly News: October 10, 2006

Submitted by dons on Mon, 10/09/2006 - 8:38pm.

Welcome to issue 44 of HWN, a weekly newsletter covering developments in the Haskell community.

Developments this week include Lennart Kolmodin's new inotify bindings for Haskell, work begins on Spanish translations of Haskell literature, and new versions of Darcs and Cabal are tagged

Announcements

  • hinotify 0.1. Lennart Kolmodin announced hinotify 0.1, a library to inotify which has been part of the Linux kernel since 2.6.13. inotify provides file system event notification, simply add a watcher to a file or directory and get an event when it is accessed or modified. API and source.

  • Monad Transformer Tutorial. Martin Grabmueller published a small tutorial on using monad transformers. In contrast to others approaches, it concentrates on using them, not on their implementation. PDF and Literate Haskell source available.

  • Speaking Haskell in Spanish. Luis Araujo announced a project to make Haskell documentation more available to Spanish speakers. The idea is to collect information in Spanish about Haskell, including news and tutorials, and to translate Haskell wiki pages.

  • Haskell Packages 6.6. Isaac Jones announced that the Cabal package tools for Haskell are in a good state, with almost 30 packages already in the database. Time to start testing packages, starting with the cabal release candidate that'll go into GHC 6.6, to make sure they work nicely together!

  • Cabal-1.1.6 release candidate. Duncan Coutts released a tarball for the next 1.16 Cabal release candidate. Let's get this tested before GHC 6.6 arrives!

  • Darcs 1.0.9 release candidate. Tommy Pettersson announced the first release candidate for next stable darcs, 1.0.9rc1. This will mainly be a bug fix version to get things right that got wrong or didn't get right in 1.0.7 and 1.0.8, but there are some new features and optimizations too.

  • Haskell and Vim. Marc Weber wrote some Vim scripts to ease various Haskell coding tasks in Vim.

Haskell'

This section covers the Haskell' standardisation process.

Discussion

  • Allowing both prefix unary minus and right section subtraction. Michael Shulman described a technique for writing operators that can be used both as infix or postfix operators, using the new postfix support in GHC 6.6.

  • Google Summer of Code Summit and Haskell. Don Stewart sought feedback on this year's Google Summer of Code Haskell projects, in preparation for Haskell.org's attendance at the Google SoC Summit.

  • GHC under Wine. Robert Marlow described his experience setting up GHC under Wine to produce Windows binaries from Linux.

  • Function lists and arguments. Joel Koerwer described a puzzle to try to apply a function of type a function of type (a -> a -> ... -> a -> a), to a list of arguments of the same length. Some solutions were suggested.

Conference roundup

Jobs

  • Open assistant professorship at Utrecht. Doaitse Swierstra announced a 5 year position for an assistant professor at Utrecht. Current areas of interest include: domain specific embedded languages, programming language design and implementation, generic programming, program verification, advanced type systems. More info.

  • PhD studentship. Shengchao Qin announced that applications are invited for a PhD student to work on resource analysis and verification for dependable embedded software, at the University of Durham. The successful applicant should have a good background in program analysis, type systems and type theory, software verification and embedded systems.

  • Post-doctoral position. Stephan Merz announced that applications are invited for a post-doctoral fellowship on the modeling and verification of domain-specific languages in the MOSEL team at LORIA. The project aims to model domain-specific languages in the specification language TLA+ and to develop verification techniques for programs written in DSLs against high-level correctness properties. Candidates must hold a PhD and should have demonstrated research interest in formal methods and formal reasoning. They should preferably have experience with interactive proof assistants.

Blog noise

Haskell news from the blogosphere.

Quotes of the Week

  • Larry Wall: Perl is turning into Haskell. Someone shoot me.
  • Tim Berners-Lee [and the w3c]: Functional languages such as Haskell ... facilitate the creation of programs that may be easier to analyze than their imperative equivalents.
  • lispy: > init . map snd . filter fst . zip (fix ([True, False] ++)) . ap (zipWith (+)) tail . map length . group . fix $ show
  • lambdabot: [2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072,...
  • Verity Stob: Lisp is still #1 for key algorithmic techniques such as recursion and condescension.
  • dcoutts: (:[]) looks like a monster
  • largos: [on programming languages] ...and I'd rather not own as much rope as c/c++ gives you.
  • ozone: When will bytestring be O(1) for all operations?
  • skew: [Monads are] just like the sequences of statements in other languages. Except very rarely have they thought so deeply about what that sequencing means

Code Watch

  • Stand-alone deriving declarations added. bringert. Add support for stand-alone 'deriving' declarations. The main motivation for this is to allow you to use the instance deriving mechanism for data types and newtypes declared in other modules, for example if you want to use generics with existing code that does not derive Typeable and Data, or want to use Show for debugging. The syntax is: deriving Class for Type, and for multi-parameter type classes:: deriving (Class t1 ... tn) for Type

About the Haskell Weekly News

Each week, new editions are posted to the Haskell mailing list as well as to the Haskell Sequence and Planet Haskell. RSS is also available, and headlines appear on haskell.org.

To help create new editions of this newsletter, please see the contributing information. Send stories to dons at cse.unsw.edu.au. The darcs repository is available at darcs get http://www.cse.unsw.edu.au/~dons/code/hwn