wiki:Status'

Version 26 (modified by ijones, 10 years ago) (diff)

Status'

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.

Summary

Concurrency

Class system

Libraries

"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 galois.com>
  • MC Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  • JG John Goerzen <jgoerzen at complete.org>
  • BH Bastiaan Heeren <bastiaan at cs.uu.nl>
  • AL Andres Loeh <loeh at iai.uni-bonn.de>
  • SM Simon Marlow <simonmar at microsoft.com>
  • JM John Meacham <john at repetae.net>This
  • RN Ravi Nanavati <ravi at bluespec.com>
  • HN Henrik Nilsson <nhn at cs.nott.ac.uk>
  • RP Ross Paterson <ross at soi.city.ac.uk>
  • SPJ Simon Peyton-Jones <simonpj at microsoft.com>
  • DS Don Stewart <dons at cse.unsw.edu.au>
  • MS Martin Sulzmann ≠
  • AT Audrey Tang <autrijus at gmail.com>
  • SJT Simon J. Thompson <S.J.Thompson at kent.ac.uk>
  • MW Malcolm Wallace <Malcolm.Wallace at cs.york.ac.uk>
  • SW Stephanie Weirich <sweirich at cis.upenn.edu>