wiki:Status

Version 29 (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 n+k patterns see RemovalCandidates
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

Remove string gaps
Class aliases #101
add implicit parameters #38
allow tuple sections #69
add MultiWayIf #77
add Linear implicit params #43
add views #73
control export and import of class instances #19
Allow import declarations anywhere at the top level #82
Replace named fields with an extensible record system #100
Move existing named field (record) system to an addendum #99
Require explicit quantification on all expression bound type signatures #28
add LambdaCase #41
add MagicUnderscore #44
add Parallel List comprehensions #55
allow data constructors to be exported and imported readonly #62
add PartialTypeAnnotations #86
add Arrows #13
ImpreciseExceptions #39

Probably Accepted Proposals

MonomorphicPatternBindings #103 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

Liberalised type synonyms subsumes TypeSynonymInstances
Standalone Derived Instances
Disambiguate record fields GHC Users Guide
RecordPatternMatching
Overload string literals
Remove upper/lower case distinction
Polymorphic record update take II
Record abstraction tweak
Open statement
Polymorphic record update
First-class record syntax
Label-based pattern-matching
updating non-existant record fields
Re-allow record punning
require space around dot as operator See also #20, QualifiedIdentifiers
Remove class context on data definitions see RemovalCandidates
Remove ~ patterns see RemovalCandidates
namespace cleanup: TagExportsWithNamespace, ModuleSystem
add closed classes #18 http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html
add Associated Types #14
add FunctionalDependencies #36
add overlapping or incoherent instances #54
Allow Undecidable Instances #71
add GADTs #37
add recursive do syntax #64
Eliminate tabs #68
relax restriction on signatures of class methods #17
unified and extensible annotations #88
Reform the MonomorphismRestriction #80
add First Class Labels #92
add Blockable #33
add ForeignData #34
clarify module system proposals #48
get rid of unary '-' operator #50
Prelude re-organisation proposal #58
improve module interfaces #95
Replace the array indexing operator, '!' #96
replace the Read class #61
Eliminate . as an operator #20
Natural numbers #79 http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html
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?