| Version 14 (modified by ravi@…, 7 years ago) |
|---|
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.
"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 | ||
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>
