| Version 6 (modified by trac, 5 years ago) |
|---|
Haskell' Status Page
DO NOT EDIT! This page is automatically generated by http://darcs.haskell.org/haskell-prime-status/status.hs
Accepted Proposals
| remove FixityResolution from the context-free grammar | #30 | ||
| add InfixTypeConstructors | #78 | ||
| add EmptyDataDeclarations | #25 | dependency on KindAnnotations | |
| add HierarchicalModules | #24 | See addendum | |
| add ExistentialQuantification (existential components) | #26 | syntax of existentials | |
| add PolymorphicComponents | #57 | Draft available | |
| dependency on Rank2Types or RankNTypes | |||
| add RankNTypes or Rank2Types | #60 | RankN or Rank2? | |
| add multi-parameter type classes (MultiParamTypeClasses) | #49 | see MultiParamTypeClassesDilemma | |
| add ForeignFunctionInterface | #35 | ||
| add Concurrency | #74 | draft text: Concurrency/DraftReportText | |
| DoAndIfThenElse | #23 | ||
| add PatternGuards | #56 | ||
| fix comment syntax grammar (LineCommentSyntax) | #42 |
Rejected Proposals
| add Arrows | #13 |
| ImpreciseExceptions | #39 |
Probably Accepted Proposals
| MonomorphicPatternBindings | #10 #3 | treatment of pattern bindings with explicit type signatures | |
| KindAnnotations | #84 | ||
| improve Defaulting rules | #21 | scope of default clauses | |
| impact on existing defaults | |||
| generalized deriving for newtype (NewtypeDeriving) | #52 | specification that does not use the term "the same representation" | |
| overlap with TypeSynonymInstances | |||
| ScopedTypeVariables | #67 #81 | specification of syntax that binds type variables | |
| BangPatterns | #76 | top-level bang patterns | |
| interaction with ! as an operator | |||
| bang-pattern polymorphism | |||
| existentials and bang patterns | |||
| make Underscore caseless | #72 | treatment of underscore-only identifiers | |
| add NewPragmas | #51 | choose specific pragmas to standardize | |
| FlexibleInstances | #32 | choice of instance conditions for termination of typechecking | |
| poor interaction with NewtypeDeriving? | |||
| fix the lexical syntax for QualifiedIdentifiers | #39 | permit qualified identifiers in definitions? | |
| NondecreasingIndentation | #53 | ||
| RelaxedDependencyAnalysis | #65 | ||
| allow TypeSynonymInstances | #70 | superseded by NewtypeDeriving? | |
| Not very useful without FlexibleInstances and/or OverlappingInstances |
Undecided Proposals
| MonomorphicPatternBindings | #103 | ||
| Class aliases | #101 | ||
| add closed classes | #18 | ||
| add Associated Types | #14 | ||
| add implicit parameters | #38 | ||
| allow tuple sections | #69 | ||
| add MultiWayIf | #77 | ||
| add FunctionalDependencies | #36 | ||
| add Linear implicit params | #43 | ||
| add overlapping or incoherent instances | #54 | ||
| Allow Undecidable Instances | #71 | ||
| add views | #73 | ||
| add GADTs | #37 | ||
| add recursive do syntax | #64 | ||
| Eliminate tabs | #68 | ||
| relax restriction on signatures of class methods | #17 | ||
| control export and import of class instances | #19 | ||
| unified and extensible annotations | #88 | ||
| Allow import declarations anywhere at the top level | #82 | ||
| Reform the monomorphism restriction | #80 | ||
| Replace named fields with an extensible record system | #100 | ||
| Move existing named field (record) system to an addendum | #99 | ||
| add First Class Labels | #92 | ||
| Require explicit quantification on all expression bound type signatures | #28 | ||
| add Blockable | #33 | ||
| add ForeignData | #34 | ||
| add LambdaCase | #41 | ||
| add MagicUnderscore | #44 | ||
| clarify module system proposals | #48 | ||
| get rid of unary '-' operator | #50 | ||
| add Parallel List comprehensions | #55 | ||
| prelude re-organisation proposal | #58 | ||
| allow data constructors to be exported and imported readonly | #62 | ||
| add PartialTypeAnnotations | #86 | ||
| improve module interfaces | #95 | ||
| Replace the array indexing operator, '!' | #96 | ||
| replace the Read class | #61 | ||
| Eliminate . as an operator | #20 | ||
| Make underscore 'caseless' | #72 | ||
| Natural numbers | #79 | ||
| add Flexible Contexts | #31 | ||
| add a binary IO interface | #15 | ||
| add EmptyDataDeclarations | #25 | ||
| standardize the System.FilePath? module | #89 | ||
| more liberal kind inference | #85 | ||
| DoAndIfThenElse for case-statements too? | |||
| add Concurrency | #74 | draft text: Concurrency/DraftReportText | |
| add ForeignFunctionInterface | #35 | ||
| add multi-parameter type classes (MultiParamTypeClasses) | #49 | see MultiParamTypeClassesDilemma | |
| add RankNTypes or Rank2Types | #60 | RankN or Rank2? | |
| add PolymorphicComponents | #57 | Draft available | |
| dependency on Rank2Types or RankNTypes | |||
| add ExistentialQuantification (existential components) | #26 | syntax of existentials | |
| add HierarchicalModules | #24 | See addendum | |
| add EmptyDataDeclarations | #25 | dependency on KindAnnotations | |
| add InfixTypeConstructors | #78 | ||
| remove FixityResolution from the context-free grammar | #30 | ||
| ImpreciseExceptions | #39 | ||
| DoAndIfThenElse for case-statements too? | |||
| allow TypeSynonymInstances | #70 | superseded by NewtypeDeriving? | |
| Not very useful without FlexibleInstances and/or OverlappingInstances | |||
| RelaxedDependencyAnalysis | #65 | ||
| NondecreasingIndentation | #53 | ||
| fix the lexical syntax for QualifiedIdentifiers | #39 | permit qualified identifiers in definitions? | |
| FlexibleInstances | #32 | choice of instance conditions for termination of typechecking | |
| poor interaction with NewtypeDeriving? | |||
| add NewPragmas | #51 | choose specific pragmas to standardize | |
| make Underscore caseless | #72 | treatment of underscore-only identifiers | |
| BangPatterns | #76 | top-level bang patterns | |
| interaction with ! as an operator | |||
| bang-pattern polymorphism | |||
| existentials and bang patterns | |||
| ScopedTypeVariables | #67 #81 | specification of syntax that binds type variables | |
| generalized deriving for newtype (NewtypeDeriving) | #52 | specification that does not use the term "the same representation" | |
| overlap with TypeSynonymInstances | |||
| improve Defaulting rules | #21 | scope of default clauses | |
| impact on existing defaults | |||
| KindAnnotations | #84 | ||
| MonomorphicPatternBindings | #10 #3 | treatment of pattern bindings with explicit type signatures | |
| add Arrows | #13 | ||
| fix comment syntax grammar (LineCommentSyntax) | #42 | ||
| add PatternGuards | #56 | ||
| DoAndIfThenElse | #23 | ||
| more liberal kind inference | #85 | ||
| standardize the System.FilePath? module | #89 | ||
| add EmptyDataDeclarations | #25 | ||
| add a binary IO interface | #15 | ||
| add Flexible Contexts | #31 | ||
| Natural numbers | #79 | ||
| Make underscore 'caseless' | #72 | ||
| Eliminate . as an operator | #20 | ||
| replace the Read class | #61 | ||
| Replace the array indexing operator, '!' | #96 | ||
| improve module interfaces | #95 | ||
| add PartialTypeAnnotations | #86 | ||
| allow data constructors to be exported and imported readonly | #62 | ||
| prelude re-organisation proposal | #58 | ||
| add Parallel List comprehensions | #55 | ||
| get rid of unary '-' operator | #50 | ||
| clarify module system proposals | #48 | ||
| add MagicUnderscore | #44 | ||
| add LambdaCase | #41 | ||
| add ForeignData | #34 | ||
| add Blockable | #33 | ||
| Require explicit quantification on all expression bound type signatures | #28 | ||
| add First Class Labels | #92 | ||
| Move existing named field (record) system to an addendum | #99 | ||
| Replace named fields with an extensible record system | #100 | ||
| Reform the monomorphism restriction | #80 | ||
| Allow import declarations anywhere at the top level | #82 | ||
| unified and extensible annotations | #88 | ||
| control export and import of class instances | #19 | ||
| relax restriction on signatures of class methods | #17 | ||
| Eliminate tabs | #68 | ||
| add recursive do syntax | #64 | ||
| add GADTs | #37 | ||
| add views | #73 | ||
| Allow Undecidable Instances | #71 | ||
| add overlapping or incoherent instances | #54 | ||
| add Linear implicit params | #43 | ||
| add FunctionalDependencies | #36 | ||
| add MultiWayIf | #77 | ||
| allow tuple sections | #69 | ||
| add implicit parameters | #38 | ||
| add Associated Types | #14 | ||
| add closed classes | #18 | ||
| Class aliases | #101 | ||
| MonomorphicPatternBindings | #103 |
