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
• Matthew Brecknell (Brisbane)
• Mark Wassell - Prefer Jan/Feb option.
• Roman Leshchinskiy
• Brad Clow
• Jeremy Apthorp
• Andrew Appleyard (Sydney)
• Bernie Pope
• Ben Lippmeier
• Rohan Drape
• Ivan Miljenovic (Brisbane)
• Eric Willigers
• Tony Sloane
• Ben Sinclair (Sydney)
• Andre Pang
• Andrew Bromage (Melbourne)
• Dale Roberts (Sydney)
• Geoff Wilson (Melbourne)
• Oliver Batchelor (Brisbane)
• Nick Seow (Sydney)
• Sean Seefried (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.)

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.