OzHaskell
From HaskellWiki
(Difference between revisions)
m |
(→Format) |
||
| Line 47: | Line 47: | ||
(Add your thoughts to the above.) | (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. | ||
| + | |||
| + | === Demo proposals === | ||
Revision as of 00:51, 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!)
Contents |
1 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.)
2 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.)
3 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.
3.1 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.
