Graham Hutton | 1 Jul 15:16 2011

Fully-Funded PhD Studentship in Functional Programming

Dear all,

I am currently advertising a Fully-Funded PhD Studentship in
Functional Programming at the University of Nottingham:

Please forward to any good UK students who may be interested.

Best wishes,


Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK

This message and any attachment are intended solely for the addressee and may contain confidential
information. If you have received this message in error, please send it back to me, and immediately delete
it.   Please do not use, copy or disclose the information contained in this message or in any attachment.  Any
views or opinions expressed by the author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
(Continue reading)

David Banas | 3 Jul 17:05 2011

ANNOUNCE: RandProc v0.4 released.

v0.4 of `RandProc` has just been posted to Hackage:

In this release:

      * Examples of using the `RandProc` library to work problems from
        `Random Processes` text have been added.
      * `README` file has been fleshed out a bit.
Roman Cheplyaka | 3 Jul 21:32 2011

ANNOUNCE: regex-applicative-0.1

I am glad to announce the initial release of regex-applicative.


regex-applicative is aimed to be an efficient and easy to use parsing combinator
library based on regular expressions.

Perl programmers often use regular expressions for parsing, even if it is not
an appropriate tool for the job, because Perl has so good support for regexps.

The opposite seems to be valid about Haskell programmers -- they use parsing
combinators (which recognize context-free or even context-sensitive grammars),
even when the language is actually regular!

Hopefully, this library will improve the situation.

This is an early preview release. Some features are lacking, and performance is
probably not very good yet.

Among the features that we are going to support in future versions are:

    * Non-greedy operators
    * Search-and-replace functionality
    * Error reporting

The implementation is heavily based on the ideas from "A Play on Regular
Expressions" by Sebastian Fischer, Frank Huch and Thomas Wilke.
(Continue reading)

Ben Lippmeier | 5 Jul 06:17 2011

Haskell Implementors Workshop 2011, Second CFT

                        Call for Talks
            ACM SIGPLAN Haskell Implementors' Workshop
                Tokyo, Japan, September 23rd, 2011
      The workshop will be held in conjunction with ICFP 2011

Important dates

Proposal Deadline:  22nd July      2011
Notification:        8th August    2011
Workshop:           23rd September 2011

The Haskell Implementors' Workshop is to be held alongside ICFP 2011
this year in Tokyo, Japan. There will be no proceedings; it is an
informal gathering of people involved in the design and development
of Haskell implementations, tools, libraries, and supporting

This relatively new workshop reflects the growth of the user
community: there is a clear need for a well-supported tool chain for
the development, distribution, deployment, and configuration of
Haskell software.  The aim is for this workshop to give the people
involved with building the infrastructure behind this ecosystem an
opportunity to bat around ideas, share experiences, and ask for
feedback from fellow experts.

We intend the workshop to have an informal and interactive feel, with
a flexible timetable and plenty of room for ad-hoc discussion, demos,
(Continue reading)

Brent Yorgey | 5 Jul 21:43 2011

ANN: Monad.Reader Issue 18

I am pleased to announce that Issue 18 of The Monad.Reader is now
available [1].

Issue 18 consists of the following three articles:

  * "MapReduce as a Monad" by Julian Porter

  * "Fun with Parallel Monad Comprehensions" by Tomas Petricek

  * "Attributed Variables: Their Uses and One Implementation" by
    Douglas M. Auclair

Feel free to browse the source files. You can check out the entire
repository using darcs (or simply visit the below URL in your

  darcs get


Daniel Santa Cruz | 7 Jul 04:14 2011

Haskell Weekly News: Issue 189

   Welcome to issue 189 of the HWN, a newsletter covering developments in
   the Haskell community during the week of June 26 to July 2, 2011.

   It seems that it was a pretty quiet week in the mailing list. There
   were no significant announcements made, and the number of threads was
   low by comparison. Hope everyone is having a great week!

   You can find the HTML version at:

Quotes of the Week

   * iwtu: [#haskell] is a good channel. Really. People are helpful and
     don't deserve killing or eating

   * [Cale] Finite dimensional vector spaces over a field F are
     algebras for the monad of F-linear combinations of elements of a
     [ivanm] oooohhhhh.... _now_ I get you!

   * [quicksilver] C++ templates can embed arbitrary computation at
     compile time
     [quicksilver] that alone tells you something about the
     complexity of the compiler
     [edwardk] yeah. they were accidentally turing complete. (whoops!) ;)
     [quicksilver] edwardk: OOPS I ACCIDENTALLY THE WHOLE TARPIT

   * bos: other companies use expensive firewalls and crypto hardware to
     protect their intellectual secrets. edwardk uses category theory!

(Continue reading)

James Chapman | 7 Jul 07:21 2011

SPLST 2011 - Call for Papers

Dear all,

Please consider submitting a short or long paper to this symposium to
be held in Tallinn in October. The symposium is timed to coincide with
the next (more informal) Estonian Theory Days meeting so authors are
welcome to attend both events.  The symposium is local in a linguistic
sense and alternates between Estonia, Finland and Hungary. After the
symposium selected authors will be invited to revise their papers for
a journal special issue published by the Estonian Academy of Sciences.

We would be delighted to see submissions from the Haskell community!

See below for further information.


James Chapman

                     Call for Papers

 12th Symposium on Programming Languages and Software Tools

              October 5-7, 2011, Tallinn, Estonia


       Submission Deadline:            Monday,  August 22
       Author Notification:                    Saturday, September 10
(Continue reading)

Claudio Russo | 7 Jul 14:09 2011

CFP: PADL'12 - Practical Aspects of Declarative Languages 2012

                [Apologies if you receive multiple copies.]

                                Call for Papers

                  14th International Symposium on 
      Practical Aspects of Declarative Languages (PADL 2012)


         Philadelphia, Pennsylvania, USA, January 23-24, 2012
                    Co-located with ACM POPL'12

    Abstract/Paper submission deadline: September 10th/17th, 2011

                       Conference Description

   Declarative languages build on sound theoretical bases to provide attractive frameworks for
application development. These languages have been successfully applied to many different real-world
situations, ranging from data base management to active networks to software engineering to decision
support systems.

   New developments in theory and implementation have opened up new application areas. At the same time,
applications of declarative languages to novel problems raise numerous interesting research issues.
Well-known questions include designing for scalability, language extensions for application
deployment, and programming environments. Thus, applications drive the progress in the theory and
implementation of declarative systems, and benefit from this progress as well.

   PADL is a forum for researchers and practitioners to present original work emphasizing novel
(Continue reading)

John Hughes | 7 Jul 16:17 2011

PhD position at Chalmers University

Looking for a funded PhD position in functional programming? The FP group at Chalmers is recruiting a new PhD student to join us in bringing the productivity of functional programming to new application domains, via domain specific languages embedded in Haskell. More details, and application via this link:


Deadline for applications: 1st September.


John Hughes

Haskell mailing list
Haskell <at>
Heinrich Apfelmus | 8 Jul 08:08 2011

Call for GUI examples - Functional Reactive Programming

Dear Haskellers,

Can GUI programming be liberated from the IO monad? Functional Reactive 
Programming (FRP) promises as much, and I'm trying to make this dream a 
reality with my [reactive-banana][] library. Having released version, I am now looking for example programs to direct the future 
evolution of the library.

Do you know any *small GUI programs* that you would *like* to see 
*implemented with Functional Reactive Programming?*

I'm sure that some of you

* are interested in FRP and would like to learn from a few simple but 
beautiful examples
* or have written small GUI programs that they are unhappy with because 
they were not purely functional
* or have thought about FRP before and concocted a few examples that are 
very tricky to implement with FRP
* or have written a nice little GUI application that simply makes a 
great example.

I would love to hear your examples, so that I can try to convert them to 
FRP style and test my library against them!

Strictly speaking, it doesn't have to be an example with a graphical 
interface, I'm also interested in audio and animation examples, though 
I'm currently focusing on GUIs.

Here a few examples of what I am looking for:

* I think that Tim Docker's minimal step sequencer [hbeat][] simply 
makes a great example. I hope that wxHaskell offers a 
platform-independent way to play sound.

* While editing the [Haskell Weekly News][hwn], Brent Yorgey wrote a 
little command-line [program to gather newsworthy items][zipedit]. But 
wouldn't a GUI be great? Since I'm only interested in the GUI, someone 
would have to supply the feed parser for this example to be viable. 
Maybe the current editor, Daniel Santa Cruz, might be interested?

* Notes of a musical performance can be modeled as event streams (MIDI), 
as Henning Thielemann has [done with great effect][midi streams]. 
Surely, reactive-banana should be up to the task, but writing an 
arpeggiator seems impossible at the moment.

   [midi streams]:

Best regards,
Heinrich Apfelmus