[Haskell] Haskell Weekly News: October 10, 2006
Donald Bruce Stewart
dons at cse.unsw.edu.au
Mon Oct 9 22:53:52 EDT 2006
Haskell Weekly News
Issue 44 - October 10, 2006
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
* 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
* 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.
This section covers the Haskell' standardisation process.
* Status report
* Stand-alone deriving declarations (part 1)
* Stand-alone deriving declarations (part 2)
* 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.
* APLAS'06. Manuel Chakravarty announced the call for
participation 4th Asian Symposium on Programming Languages and
Systems, to be held in Sydney.
* 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.
Haskell news from the blogosphere.
* Roll your own Haskell IRC bot
* Understanding Monads Via Python List Comprehensions
* Mercury and imperative programming
* Languages as first-class design decisions
* Becoming a Haskell developer via YHC
* JAOO Conference: Functional Programming And Monads
* CompSci.ca does Functional Programming
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
* 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
* 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
More information about the Haskell