UnnamedStandard

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
• No if syntax, just a normal function called "if"

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)