wiki:Status'

Version 6 (modified by ravi@…, 8 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.

"definitely-in" Proposal Status

Description Ticket Writers Draft report text Decisions made 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 polymorphic components #57 AL
add ExistentialQuantification (existential components) #26 AL, MS, SJT
add HierarchicalModules #24 IJ, BH


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>