Changes between Version 8 and Version 9 of StrawPoll-2


Ignore:
Timestamp:
Aug 16, 2006 3:46:22 PM (9 years ago)
Author:
sweirich@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-2

    v8 v9  
    4242||    ||     ||    ||    ||    ||    ||    ||    ||    ||    ||    ||  x   ||    ||   ||    ||      ||    ||     || -   || I have completed voting.
    4343|| Y  ||  Y  || Y  || Y  ||    ||    || Y  || M  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||   M  ||  M ||  Y  || #74    || add some kind of concurrency
    44 || Y  ||  Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||  Y ||  Y  || #35    || add ForeignFunctionInterface
     44|| Y  ||  Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||  Y ||  A  || #35    || add ForeignFunctionInterface
    4545|| Y  ||  M  || M  ||    ||    || M  ||    ||    || Y  || Y  ||    ||  Y  ||    ||   || Y  ||  Y   ||  M || YM || #49    || add multi parameter type classes
    46 ||    ||  Y  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||    ||  Y || #60    || add RankNTypes or Rank2Types
    47 ||    ||  M  || Y  ||    ||  Y || Y  || Y  || Y  ||    || Y  || Y  ||  Y  || Y  ||   || Y  ||    Y ||    ||  Y || #57    || add polymorphic components
    48 ||  Y ||  M  || Y  || Y  || Y  || Y  || Y  || Y  ||    || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||  Y ||  Y || #26    || add ExistentialQuantification (existential components)
     46||    ||  Y  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||    ||  A || #60    || add RankNTypes or Rank2Types
     47||    ||  M  || Y  ||    ||  Y || Y  || Y  || Y  ||    || Y  || Y  ||  Y  || Y  ||   || Y  ||    Y ||    ||  A || #57    || add polymorphic components
     48||  Y ||  M  || Y  || Y  || Y  || Y  || Y  || Y  ||    || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||  Y ||  A || #26    || add ExistentialQuantification (existential components)
    4949||    ||    || M  ||    ||  Y || Y  ||    || Y  || Y  || Y  || Y  ||     ||    ||    ||   ||    M ||    ||  N || #85    || more liberal kind inference
    5050|| M  ||    ||    ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y   ||    ||    ||Y  ||   Y  ||  N ||  Y  || #70   || allow TypeSynonymInstances
     
    5555|| Y  ||    || Y  || Y  || Y  || Y  || Y  ||    || Y  ||    || Y  ||     || Y  ||    ||Y  ||  Y   ||    ||    || #89    || standardize the System.FilePath module for Haskell'
    5656||    ||    || Y  ||    ||    || Y  || Y  || Y  || Y  || Y  ||    ||     || Y  ||    ||Y  ||     ||    ||  Y || #53    || Nondecreasing Indentation
    57 || Y  || Y   || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   ||    || Y    ||  Y ||  Y || #25    || add EmptyDataDeclarations
     57|| Y  || Y   || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   ||    || Y    ||  Y ||  A || #25    || add EmptyDataDeclarations
    5858|| Y  ||    || Y  ||    ||    || Y  ||    || Y  || Y  || Y  || Y  ||     || Y  ||    ||Y  ||   Y  ||  Y ||  Y || #23    || fix common pitfall with the do-notation and if-then-else
    5959|| Y  ||  Y  || Y  || Y  ||    ||    || Y  || Y*  || Y* || M  || Y  ||  Y  || Y  ||   ||Y(1)||     ||  Y ||    || #15    || add a binary IO interface
     
    7272||    ||    || N  ||    ||  N ||    || Y  || N  || Y  || M  || N  ||  N  ||    ||    ||   ||     ||    ||  N  || #86    || add PartialTypeAnnotations?
    7373|| Y*  || Y   || Y  ||    ||    ||    ||    || Y  ||    || M  || N  ||  Y  ||   ||   ||    ||     ||    ||    || #76    || Bang patterns
    74 ||    ||    || Y  ||    ||    ||    || Y* || YM || Y  || Y* ||    || YM  ||    ||    ||   ||   M  ||    || YM || #67    || add Scoped Type Variables
     74||    ||    || Y  ||    ||    ||    || Y* || YM || Y  || Y* ||    || YM  ||    ||    ||   ||   M  ||    || Y* || #67    || add Scoped Type Variables
    7575|| N  ||    || N  ||    || N  || N  || Y* || Y*  || Y  || N  || N  ||     || N  ||   ||    ||   N  ||    ||    || #62    || allow data consructors to be exported and imported readonly
    7676|| Y*  || M   || M  ||    ||    ||    || N  ||    || Y  ||    ||    ||     ||   ||   ||    ||     ||  M ||    || #58    || prelude re-organisation proposal
     
    9090||    ||  N  || N  ||    ||    ||    || N  || N  || N  || N  || N  ||  N  ||    ||   ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system
    9191||    ||  M  ||    ||    ||    ||    || M  || Y  ||    ||    ||    ||  M   ||    ||   ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction
    92 ||    ||  M  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||   Y  ||    || Y  || #78    || Add infix type constructors
     92||    ||  M  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||   Y  ||    || A  || #78    || Add infix type constructors
    9393|| N  ||    || Y  ||    || N  || N  || N  || N  || Y  || N  || N  ||  Y  ||    ||    ||   ||     ||  N ||    || #82    || Allow import declarations anywhere at the top level
    9494||    ||    || Y  ||    ||    ||    ||    || Y  || Y  || Y  || Y  ||  Y  ||    ||    ||   ||     ||    ||  Y || #81    || scoping of type variables in class instances
     
    110110|| N  ||  M  || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||   ||    ||  N   ||  N ||    || #13    || add Arrows
    111111|| N  ||    || N  ||    || N  || N  || N  || Y*  ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #18    || add closed classes
    112 ||    ||    || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || N  ||  Y  || Y  ||  || Y   ||    ||    ||  Y || #84    || Kind Annotations
     112||    ||    || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || N  ||  Y  || Y  ||  || Y   ||    ||    ||  A || #84    || Kind Annotations
    113113||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||   N  ||    ||  ||     ||    ||    ||    || #101    || Class aliases
    114114||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||   Y  ||    ||  ||     ||    ||    ||    || #103    || MonomorphicPatternBindings