Difference between revisions of "OzHaskell"
(→Format) |
|||
| Line 37: | Line 37: | ||
(Add any additional periods that you would find attractive and/or comment on suitability.) |
(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 == |
== Format == |
||
Revision as of 01:53, 17 October 2007
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.)
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.