wiki:Status

Version 35 (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 Expressions see RemovalCandidates
KindAnnotations #84 Declarations and Bindings
ScopedTypeVariables #67 #81 Declarations and Bindings specification of syntax that binds type variables
NondecreasingIndentation #53 Syntax Reference
RelaxedDependencyAnalysis #65 Declarations and Bindings
remove FixityResolution from the context-free grammar #30 Expressions
add InfixTypeConstructors #78 Declarations and Bindings
add EmptyDataDeclarations #25 Declarations and Bindings dependency on KindAnnotations
add HierarchicalModules #24 Modules See addendum
add ExistentialQuantification (existential components) #26 Declarations and Bindings syntax of existentials
add PolymorphicComponents #57 Declarations and Bindings Draft available
dependency on Rank2Types or RankNTypes
add RankNTypes or Rank2Types #60 Declarations and Bindings RankN or Rank2?
add multi-parameter type classes (MultiParamTypeClasses) #49 Declarations and Bindings see MultiParamTypeClassesDilemma
add ForeignFunctionInterface #35 FFI
add Concurrency #74 Concurrency draft text: Concurrency/DraftReportText

Completed Proposals

DoAndIfThenElse #23 Syntax Reference
add PatternGuards #56 Expressions
fix comment syntax grammar (LineCommentSyntax) #42 Lexical

Rejected Proposals

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

Undecided Proposals

DerivingInstances Declarations and Bindings
Simpler layout specification Syntax Reference http://repetae.net/repos/getlaid/
Liberalised type synonyms Declarations and Bindings subsumes TypeSynonymInstances
Standalone Derived Instances Declarations and Bindings
Disambiguate record fields Expressions GHC Users Guide
RecordPatternMatching Expressions
Overload string literals Expressions
Remove upper/lower case distinction Lexical
Polymorphic record update take II Expressions
Record abstraction tweak Declarations and Bindings
Open statement Expressions
Polymorphic record update Expressions
First-class record syntax Declarations and Bindings
Label-based pattern-matching Expressions
updating non-existant record fields Expressions
Re-allow record punning Expressions
require space around dot as operator Lexical See also #20, QualifiedIdentifiers
See also CompositionAsDot
Remove class context on data definitions Declarations and Bindings see RemovalCandidates
Remove ~ patterns Expressions see RemovalCandidates
namespace cleanup: TagExportsWithNamespace, ModuleSystem Modules
add closed classes #18 Declarations and Bindings http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html
add Associated Types #14 Declarations and Bindings
add FunctionalDependencies #36 Declarations and Bindings
add overlapping or incoherent instances #54 Declarations and Bindings
Allow Undecidable Instances #71 Declarations and Bindings
add GADTs #37 Declarations and Bindings
add recursive do syntax #64 Expressions
Eliminate tabs #68 Lexical
relax restriction on signatures of class methods #17 Declarations and Bindings
unified and extensible annotations #88 Compiler Pragmas
Reform the MonomorphismRestriction #80 Declarations and Bindings
add First Class Labels #92 Declarations and Bindings
add Blockable #33 FFI
add ForeignData #34 FFI
clarify module system proposals #48 Modules
get rid of unary '-' operator #50 Expressions
Prelude re-organisation proposal #58 Standard Prelude
improve module interfaces #95 Modules
Replace the array indexing operator, '!' #96 Libraries
replace the Read class #61 Libraries
Eliminate . as an operator #20 Lexical
Natural numbers #79 Predefined Types and Classes http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html
add Flexible Contexts #31 Declarations and Bindings
add a binary IO interface #15 Libraries
standardize the System.FilePath? module #89 Libraries
more liberal kind inference #85 Declarations and Bindings
MonomorphicPatternBindings #103 Declarations and Bindings treatment of pattern bindings with explicit type signatures
improve Defaulting rules #21 Declarations and Bindings scope of default clauses
impact on existing defaults
generalized deriving for newtype (NewtypeDeriving) #52 Declarations and Bindings specification that does not use the term "the same representation"
overlap with TypeSynonymInstances
BangPatterns #76 Expressions top-level bang patterns
interaction with ! as an operator
bang-pattern polymorphism
existentials and bang patterns
interaction with MonomorphicPatternBindings
add NewPragmas #51 Compiler Pragmas choose specific pragmas to standardize
FlexibleInstances #32 Declarations and Bindings choice of instance conditions for termination of typechecking
poor interaction with NewtypeDeriving?
fix the lexical syntax for QualifiedIdentifiers #39 Lexical permit qualified identifiers in definitions?
interaction with CompositionAsDot
allow TypeSynonymInstances #70 Declarations and Bindings superseded by NewtypeDeriving?
Not very useful without FlexibleInstances and/or OverlappingInstances
DoAndIfThenElse for case-statements too? Syntax Reference