Version 26 (modified by ijones, 10 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.



Class system


"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 interfaces - 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 - in assuming there is a suitable mechanism for type-indexed types - 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, DS 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>