wiki:Status

Version 5 (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

add Concurrency #74 accepted draft text: Concurrency/DraftReportText
add ForeignFunctionInterface #35 accepted
add multi-parameter type classes (MultiParamTypeClasses) #49 accepted see MultiParamTypeClassesDilemma
add RankNTypes or Rank2Types #60 accepted RankN or Rank2?
add PolymorphicComponents #57 accepted Draft available
dependency on Rank2Types or RankNTypes
add ExistentialQuantification (existential components) #26 accepted syntax of existentials
add HierarchicalModules #24 accepted See addendum
add EmptyDataDeclarations #25 accepted dependency on KindAnnotations
add InfixTypeConstructors #78 accepted
remove FixityResolution from the context-free grammar #30 accepted
ImpreciseExceptions #39 rejected
DoAndIfThenElse for case-statements too?
allow TypeSynonymInstances #70 probably-accept superseded by NewtypeDeriving?
Not very useful without FlexibleInstances and/or OverlappingInstances
RelaxedDependencyAnalysis #65 probably-accept
NondecreasingIndentation #53 probably-accept
fix the lexical syntax for QualifiedIdentifiers #39 probably-accept permit qualified identifiers in definitions?
FlexibleInstances #32 probably-accept choice of instance conditions for termination of typechecking
poor interaction with NewtypeDeriving?
add NewPragmas #51 probably-accept choose specific pragmas to standardize
make Underscore caseless #72 probably-accept treatment of underscore-only identifiers
BangPatterns #76 probably-accept top-level bang patterns
interaction with ! as an operator
bang-pattern polymorphism
existentials and bang patterns
ScopedTypeVariables #67 #81 probably-accept specification of syntax that binds type variables
generalized deriving for newtype (NewtypeDeriving) #52 probably-accept specification that does not use the term "the same representation"
overlap with TypeSynonymInstances
improve Defaulting rules #21 probably-accept scope of default clauses
impact on existing defaults
KindAnnotations #84 probably-accept
MonomorphicPatternBindings #10 #3 probably-accept treatment of pattern bindings with explicit type signatures
add Arrows #13 rejected
fix comment syntax grammar (LineCommentSyntax) #42 done
add PatternGuards #56 done
DoAndIfThenElse #23 done
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