Difference between revisions of "UnnamedStandard"

From HaskellWiki
Jump to: navigation, search
Line 8: Line 8:
   
 
* Mostly a redesigned typeclass hierarchy, as already outlined in [[The Other Prelude]]
 
* Mostly a redesigned typeclass hierarchy, as already outlined in [[The Other Prelude]]
  +
* Class aliases
   
 
== Language extensions that should be "standard" ==
 
== Language extensions that should be "standard" ==

Revision as of 22:16, 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
  • Class aliases

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)