Personal tools

OzHaskell

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
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:

(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.

3.2 Demo proposals