Version 19 (modified by ravi@…, 9 years ago) (diff)


This page captures the current status of the Haskell' effort. At the moment, this means capturing the current status of the "in" proposals identified by StrawPoll-2.

"definitely-in" Proposal Status

Description Ticket Writers Draft report text Decisions made Currently open issues
add some kind of concurrency #74 IJ, SM - basic concurrency interface - cooperative or preemptive
- concurrent and reentrant foreign calls - foreign call annotation syntax
- bound threads as a specified extension - semantics of IORefs
add ForeignFunctionInterface #35 MC, SM - additional C99 types and casts - transparent marshalling of newtypes
- add signed and unsigned char casts
add multi-parameter type classes #49 MS - MultiParamTypeClassesDilemma
add RankNTypes or Rank2Types #60 AL - RankN or Rank2?
add PolymorphicComponents #57 AL - dependency on Rank2Types or RankNTypes
add ExistentialQuantification (existential components) #26 AL, MS, SJT
add HierarchicalModules #24 IJ, BH None
add EmptyDataDeclarations #25 BH, HN - dependency on KindAnnotations
DoAndIfThenElse #23 SM, HN None
fix comment syntax grammar #42 SM None
add PatternGuards #56 RN, MS None
add InfixTypeConstructors #78 BH, AL None

Member key:

  • IJ Isaac Jones (co-editor)
  • JL John Launchbury (co-editor) <john at>
  • MC Manuel M T Chakravarty <chak at>
  • JG John Goerzen <jgoerzen at>
  • BH Bastiaan Heeren <bastiaan at>
  • AL Andres Loeh <loeh at>
  • SM Simon Marlow <simonmar at>
  • JM John Meacham <john at>This
  • RN Ravi Nanavati <ravi at>
  • HN Henrik Nilsson <nhn at>
  • RP Ross Paterson <ross at>
  • SPJ Simon Peyton-Jones <simonpj at>
  • DS Don Stewart <dons at>
  • MS Martin Sulzmann ≠
  • AT Audrey Tang <autrijus at>
  • SJT Simon J. Thompson <S.J.Thompson at>
  • MW Malcolm Wallace <Malcolm.Wallace at>
  • SW Stephanie Weirich <sweirich at>