wiki:Status

Version 8 (modified by trac, 6 years ago) (diff)

--

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

Completed Proposals

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