OzHaskell

There is AngloHaskell and now AmeroHaskell. Doesn't that call for OzHaskell?

Who would be interested to have a Haskell event in Australia, possibly in Sydney? This is just a wild idea without any concrete date or format yet. Jot down any suggestions on this page.

Interested Haskellers:

• Manuel Chakravarty (Sydney)
• Tony Morris (Brisbane)
• Matthew Brecknell (Brisbane, will travel, prefer late Jan)
• Mark Wassell - Prefer Jan/Feb option.
• Roman Leshchinskiy
• Brad Clow (Brisbane)
• Jeremy Apthorp
• Andrew Appleyard (Sydney)
• Bernie Pope (Melbourne)
• Ben Lippmeier
• Rohan Drape
• Ivan Miljenovic (Brisbane)
• Eric Willigers
• Tony Sloane (Sydney)
• Ben Sinclair (Sydney)
• Andre Pang
• Andrew Bromage (Melbourne)
• Dale Roberts (Sydney)
• Geoff Wilson (Melbourne)
• Oliver Batchelor (Brisbane)
• Nick Seow (Sydney)
• Sean Seefried (Sydney)
• Alexis Hazell (Melbourne)
• Philip Derrin (Sydney)
• Jeeva (Sydney)

(Add your name!)

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).

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.