Difference between revisions of "UnnamedStandard"
Jump to navigation
Jump to search
m (fixed name list) |
|||
Line 6: | Line 6: | ||
== Proposed changes == |
== Proposed changes == |
||
+ | |||
+ | * Mostly a redesigned typeclass hierarchy, as already outlined in [[The Other Prelude]] |
||
== Language extensions that should be "standard" == |
== Language extensions that should be "standard" == |
||
+ | |||
+ | * GADTs |
||
+ | * Type Families (why not?) |
||
== People willing to contribute == |
== People willing to contribute == |
Revision as of 21:56, 13 May 2009
Introduction
There is a lot of talk about the inadequacies of the h98 prelude (mainly its typeclasses and lack of hierarchy, and the four different monoid classes in it), and most people using Haskell today use various extensions. Haskell' is the next official standard, but is conservative and still retains many of the issues people complain about in H98.
This page is for discussing what we would like to see in the ideal next standard!
Proposed changes
- Mostly a redesigned typeclass hierarchy, as already outlined in The Other Prelude
Language extensions that should be "standard"
- GADTs
- Type Families (why not?)
People willing to contribute
- pumpkin (Daniel Peebles)
- jmcarthur (Jake McArthur)
- ray (Raymond Pasco)
- thoughtpolice (Austin Seipp)