Contents

Possible dates

Shall we try to organise something for sometime over the summer? Avoiding the summer holidays, either of the following two periods seem attractive:

last week of November/first week of December or

last week of January/first week of February.

(Add any additional periods that you would find attractive and/or comment on suitability.)

Events to avoid clashing with:

The 2007 federal election (weekend of 24-25 November).

linux.conf.au (28 Jan - 2 Feb 2007, unless it's held in conjunction).

Inevitable family Christmas parties/holiday travel rush (some weekends in December, different for everyone I suspect).

www.oscd.com.au - late november in Brisbane

Format

How about the following?

One day meeting with informal talks and demos (preferably on a Friday)

There could be a second, even less formal day, for those who want to hang out some more and maybe some hacking

Run it at the University of New South Wales, Sydney

(Add your thoughts to the above.)

Talks and demos

Do you have anything you'd like to talk about or a system you'd like to demo? This is just a tentative list - you commit to nothing.

Talk proposals

Manuel Chakravarty: Type-level Programming with Type Families

GHC recently gained support for data families and type synonym families (which are a generalisation of our earlier proposal for associated types). In this talk, I'd give an overview over this new language feature, illustrate what it is good for, and discuss why I believe it fits Haskell better than functional dependencies.

Bernie Pope: The GHCi debugger

A new breakpoint debugger has been added to GHCi. In this talk, I'd demonstrate how to use the debugger, and also go into some detail about how it works. I might even discuss the relative advantages and disadvantages of this debugger over tools such as Hat.

Demo proposals

rohan drape: supercollider for haskellers

an introduction to, and demonstration of, the hsc3 haskell bindings to the supercollider3 real-time audio synthesiser; or making experimental music in experimental haskell.