Organizing the Proposals
This page groups the various proposals for Haskell' into four distinct categories. For each category we provide a brief descriptions and two lists: the first contains the proposals from the definitely in table, while the second one contains the proposals from the probably in table.
Syntax
These proposals primarily addresses issues of lexing and parsing. Of particular importance are questions of ambiguity and understandability.
-
#23 if-then-else in do notation (done)
Language Convenience
These proposals provide a more convenient way to do something that we can already do (but perhaps in a "clunky" way). Of particular interest are questions about usability and readability.
-
#56 Pattern guards (done)
Type System
These proposals are related to the type system and how the type checker works. They affect the static semantics of programs in fairly deep ways.
-
#60 Higher-rank polymorphism (RankNTypes,Rank2Types,PolymorphicComponents
-
#49 Multi-parameter type classes (see also MultiParamTypeClassesDilemma)
Critical Constants
These proposals provide sets of constants with specified operational behavior. They affect the dynamic semantics of programs in fairly deep ways.