Personal tools

OzHaskell

From HaskellWiki

(Difference between revisions)
Jump to: navigation, 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]] (Brisbane)
+
* [[: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:

(Add your name!)

Contents

[edit] 1 Possible dates

[edit] 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.)

[edit] 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.

[edit] 3.1 Talk proposals

[edit] 3.2 Demo proposals