Difference between revisions of "OzHaskell"
Jump to navigation
Jump to search
(→Format) |
|||
(40 intermediate revisions by 28 users not shown) | |||
Line 6: | Line 6: | ||
* [[:User:Chak|Manuel Chakravarty]] (Sydney) |
* [[:User:Chak|Manuel Chakravarty]] (Sydney) |
||
− | * [[:User:TonyMorris|Tony Morris]] |
+ | * [[:User:TonyMorris|Tony Morris]] (Brisbane) |
− | * [[:User:Brecknell|Matthew Brecknell]] (Brisbane) |
+ | * [[:User:Brecknell|Matthew Brecknell]] (Brisbane, will travel, prefer late Jan) |
* [[:User:Mark_Wassell|Mark Wassell]] - Prefer Jan/Feb option. |
* [[:User:Mark_Wassell|Mark Wassell]] - Prefer Jan/Feb option. |
||
* [[:User:Rl|Roman Leshchinskiy]] |
* [[:User:Rl|Roman Leshchinskiy]] |
||
− | * [[:User:cbrad|Brad Clow]] |
+ | * [[:User:cbrad|Brad Clow]] (Brisbane) |
* [[:User:nornagon|Jeremy Apthorp]] |
* [[:User:nornagon|Jeremy Apthorp]] |
||
* [[:User:AndrewA|Andrew Appleyard]] (Sydney) |
* [[:User:AndrewA|Andrew Appleyard]] (Sydney) |
||
− | * [[:User:bjpop|Bernie Pope]] |
+ | * [[:User:bjpop|Bernie Pope]] (Melbourne) |
* [[:User:benl23|Ben Lippmeier]] |
* [[:User:benl23|Ben Lippmeier]] |
||
− | * [[:User:RohanDrape|Rohan Drape]] |
+ | * [[:User:RohanDrape|Rohan Drape]] (Melbourne) |
− | * [[:User:ivanm|Ivan Miljenovic]] ( |
+ | * [[:User:ivanm|Ivan Miljenovic]] (Canberra) |
* [[:User:EricWilligers|Eric Willigers]] |
* [[:User:EricWilligers|Eric Willigers]] |
||
− | * [[:User:TonySloane|Tony Sloane]] |
+ | * [[:User:TonySloane|Tony Sloane]] (Sydney) |
* [[:User:Bens|Ben Sinclair]] (Sydney) |
* [[:User:Bens|Ben Sinclair]] (Sydney) |
||
* [[:User:andrep|Andre Pang]] |
* [[:User:andrep|Andre Pang]] |
||
Line 27: | Line 27: | ||
* [[:User:Nick|Nick Seow]] (Sydney) |
* [[:User:Nick|Nick Seow]] (Sydney) |
||
* [[:User:sseefried|Sean Seefried]] (Sydney) |
* [[:User:sseefried|Sean Seefried]] (Sydney) |
||
+ | * [[:User:green_tea|Alexis Hazell]] (Melbourne) |
||
+ | * [[:User:PhilipDerrin|Philip Derrin]] (Sydney) |
||
+ | * [[:User:Jeeva|Jeeva]] (Sydney) |
||
+ | * [[:User:michaelneale|Michael Neale]] (Brisbane) |
||
+ | * [[:User:rus|Ruslan Abdulkhalikov]] (Sydney) |
||
+ | * [[:User:doverton|David Overton]] (London, soon to be Melbourne) |
||
+ | * [[:User:mleeming|Michael Leeming]] (Sydney) |
||
+ | * [[:User:horsfall|Ben Horsfall]] (Melbourne) |
||
+ | * [[:User:trh|Toby Hutton]] (Melbourne) |
||
+ | * [[:User:OJ|OJ Reeves]] (Brisbane) |
||
+ | * [[:User:mwotton|Mark Wotton]] (Sydney) |
||
+ | * [[:User:isaacsu | Isaac Su]] (Melbourne) |
||
+ | * [[:User:steshaw|Steven Shaw]] (Brisbane) |
||
+ | * [[:User:bwright|Ben Wright]] (Sydney) |
||
(Add your name!) |
(Add your name!) |
||
== Possible dates == |
== 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 == |
== Format == |
||
Line 53: | Line 60: | ||
=== Talk proposals === |
=== 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 === |
=== Demo proposals === |
||
+ | |||
+ | [[Category:Events]] |
Latest revision as of 13:04, 3 December 2011
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 (Melbourne)
- Ivan Miljenovic (Canberra)
- 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)
- Michael Neale (Brisbane)
- Ruslan Abdulkhalikov (Sydney)
- David Overton (London, soon to be Melbourne)
- Michael Leeming (Sydney)
- Ben Horsfall (Melbourne)
- Toby Hutton (Melbourne)
- OJ Reeves (Brisbane)
- Mark Wotton (Sydney)
- Isaac Su (Melbourne)
- Steven Shaw (Brisbane)
- Ben Wright (Sydney)
(Add your name!)
Possible dates
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.