Changes between Version 24 and Version 25 of StrawPoll-2


Ignore:
Timestamp:
Aug 19, 2006 12:05:54 AM (9 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-2

    v24 v25  
    4242||    ||    || x  ||    ||    ||    ||    ||    ||    ||    ||    ||  x  ||    ||    ||    ||     ||    ||    || -      || I have completed voting.
    4343|| Y  ||  Y || A  || Y  ||    || Y  || Y  || M  || A  || Y  ||    ||  Y  || Y  ||    || Y  ||  M  || Y* ||  Y || #74    || add some kind of concurrency
    44 || Y  ||  Y || AW || Y  || Y  || A  || Y  || Y  || A  || Y  || Y  ||  Y  || Y  ||    || Y  ||  Y  || A  ||  A || #35    || add ForeignFunctionInterface
     44|| Y  ||  Y || AW || Y  || Y  || A  || Y  || Y  || A  || Y  || A  ||  Y  || Y  ||    || Y  ||  Y  || A  ||  A || #35    || add ForeignFunctionInterface
    4545|| Y  ||  M || Y  ||    ||    || M  ||    ||    || A  || Y  ||    ||  Y  ||    ||    || Y  ||  Y  || Y* || YM || #49    || add multi parameter type classes
    46 ||    ||  Y || Y  ||    || Y  || YW || Y  || Y  || A  || Y  || Y  ||  Y  || Y  ||    || Y  ||  Y  || A  ||  A || #60    || add RankNTypes or Rank2Types
    47 ||    ||  M || Y  ||    ||  Y || YW || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||    || Y  ||  Y  ||    ||  A || #57    || add polymorphic components
    48 ||  Y ||  M || A  || Y  || Y  || AW || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||    || Y  ||  Y  || A  ||  A || #26    || add ExistentialQuantification (existential components)
     46||    ||  Y || Y  ||    || Y  || YW || Y  || Y  || A  || Y  || A  ||  Y  || Y  ||    || Y  ||  Y  || A  ||  A || #60    || add RankNTypes or Rank2Types
     47||    ||  M || Y  ||    ||  Y || YW || Y  || Y  || Y  || Y  || A  ||  Y  || Y  ||    || Y  ||  Y  ||    ||  A || #57    || add polymorphic components
     48||  Y ||  M || A  || Y  || Y  || AW || Y  || Y  || Y  || Y  || A  ||  Y  || Y  ||    || Y  ||  Y  || A  ||  A || #26    || add ExistentialQuantification (existential components)
    4949||    ||    || M  ||    ||  Y || Y  ||    || Y  || A  || Y  || Y  ||     ||    ||    ||   ||   M ||    ||  N || #85    || more liberal kind inference
    5050|| M  ||    || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  ||    ||    ||Y  ||  Y  ||  N ||  Y  || #70   || allow TypeSynonymInstances
    51 ||    ||  N || A  ||    || Y  || Y  || Y  || Y  || A  || Y  || Y  || Y   || Y  ||   || Y  ||  Y  ||    ||  Y || #65    || Relax Dependency Analysis
     51||    ||  N || A  ||    || Y  || Y  || Y  || Y  || A  || Y  || A  || Y   || Y  ||   || Y  ||  Y  ||    ||  Y || #65    || Relax Dependency Analysis
    5252|| Y* ||  N || A  ||    ||    || Y  ||    || N  || Y  || Y  || Y  ||  Y  ||    ||   ||    ||     ||  Y ||    || #39    || add ImpreciseExceptions
    5353|| Y* ||  N ||Y(3)||Y(3)||    ||    || Y  || Y  ||A(3)|| M  ||    ||     ||    ||   || Y  ||  Y  ||  Y ||  Y(3)  || #29    || add ExtensibleExceptions
    54 || Y  ||  Y || A  || Y  || Y  || A  || Y  || Y  || A  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y  ||  A ||  Y || #24    || add HierarchicalModules
    55 || Y  ||    || Y  || Y  || Y  || Y  || Y  ||    || A  ||    || Y  ||     || Y  ||    ||Y  ||  Y  ||    ||    || #89    || standardize the System.FilePath module for Haskell'
     54|| Y  ||  Y || A  || Y  || Y  || A  || Y  || Y  || A  || Y  || A  ||  Y  || Y  ||   || Y  ||  Y  ||  A ||  Y || #24    || add HierarchicalModules
     55|| Y  ||    || Y  || Y  || Y  || Y  || Y  ||    || A  ||    || A  ||     || Y  ||    ||Y  ||  Y  ||    ||    || #89    || standardize the System.FilePath module for Haskell'
    5656||    ||    || Y  ||    ||    || Y  || Y  || Y  || A  || Y  ||    ||     || Y  ||    ||Y  ||     ||    ||  Y || #53    || Nondecreasing Indentation
    5757|| Y  || Y  || Y  ||    || Y  || A  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   ||    || Y   ||  A ||  A || #25    || add EmptyDataDeclarations
    58 || Y  ||    || Y  ||    ||    || Y  ||    || Y  || A  || Y  || Y  ||     || Y  ||    ||Y  ||  Y  ||  A ||  Y || #23    || fix common pitfall with the do-notation and if-then-else
    59 || Y  ||  Y || Y  || Y  ||    || Y  || Y  || Y* ||A(1)|| M  || Y  ||  Y  || Y  ||   ||Y(1)||     ||  A*||    || #15    || add a binary IO interface
     58|| Y  ||    || Y  ||    ||    || Y  ||    || Y  || A  || Y  || A  ||     || Y  ||    ||Y  ||  Y  ||  A ||  Y || #23    || fix common pitfall with the do-notation and if-then-else
     59|| Y  ||  Y || Y  || Y  ||    || Y  || Y  || Y* ||A(1)|| M  || A  ||  Y  || Y  ||   ||Y(1)||     ||  A*||    || #15    || add a binary IO interface
    6060||    ||    || Y  ||    || Y  || Y  ||    ||  Y || Y  || Y  ||    ||     || Y  ||    ||   ||     ||  Y ||    || #59    || Fix the lexical syntax for qualified identifiers
    6161||    ||    || Y  ||    || Y  || Y  || Y  ||  Y || Y  || Y  || Y  ||     ||  Y ||    ||   ||     ||  Y ||  Y || #42    || fix comment syntax grammar
     
    6666||    ||  N || M  ||    ||    ||    || N  ||    || N  || N  ||    ||     ||    ||   ||    ||  M  || AW ||  M  || #79    || Natural numbers
    6767|| Y  ||    ||    ||    ||    || Y  || Y  || Y  || Y  || Y  || N  ||     ||  Y ||    ||Y  ||     ||  A ||  Y || #72    || Make underscore 'caseless'
    68 || N  ||  Y || N  ||    || N  || R  || N  || N  || R  || N  || N  ||     || N  ||   || N  ||  N  ||  R ||  N  || #20    || Eliminate . as an operator
     68|| N  ||  Y || N  ||    || N  || R  || N  || N  || R  || N  || R  ||     || N  ||   || N  ||  N  ||  R ||  N  || #20    || Eliminate . as an operator
    6969|| Y* ||    || Y  ||    || Y  || Y  || Y  || Y  || Y  ||    || Y  ||     || Y  ||   ||    ||     ||  AW||    || #61    || replace the Read class
    7070||    ||  M || Y  ||    ||    ||    || Y  ||    ||    || M  ||    ||     ||    ||   || N  ||  N  ||  R ||    || #96    || Replace the array indexing operator, '!'
     
    7272||    ||    || N  ||    ||  N ||    || Y  || N  || N  || M  || N  ||  N  ||    ||    ||   ||     ||    ||  N || #86    || add PartialTypeAnnotations?
    7373|| Y* || Y  || Y  ||    ||    ||    ||    || Y  || Y  || M  || N  ||  Y  ||    ||   ||    ||     ||  N ||    || #76    || Bang patterns
    74 ||    ||    || YM  ||    ||    || M  || Y* || YM || Y  || Y* ||    || YM  ||    ||    ||   ||  M  ||  Y || Y* || #67    || add Scoped Type Variables
     74||    ||    || YM ||    ||    || M  || Y* || YM || Y  || Y* || Y* || YM  ||    ||    ||   ||  M  ||  Y || Y* || #67    || add Scoped Type Variables
    7575|| N  ||    || N  ||    || N  || N  || Y* || Y* || N  || N  || N  ||     || N  ||   ||    ||  N  ||    ||    || #62    || allow data consructors to be exported and imported readonly
    7676|| Y* || M  || M  ||    ||    ||    || N  ||    || Y  ||    ||    ||     ||    ||   ||    ||     ||  AW||    || #58    || prelude re-organisation proposal
    77 ||    || Y  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  N  ||    ||   || Y  ||   N ||  R ||    || #55    || add Parallel List comprehensions
     77||    || Y  || Y  ||    || N  || N  || N  || Y  ||    || N  || R  ||  N  ||    ||   || Y  ||   N ||  R ||    || #55    || add Parallel List comprehensions
    7878||    || Y  || Y  ||    ||    || M  || Y  || Y  || Y  || Y  || N  ||  Y  ||    ||   || Y  ||     ||  A ||  Y || #52    || Generalised deriving for newtype
    7979|| N  || M  || N  ||    || N  ||    || N  || Y  ||    || N  || N  ||  Y  || N  ||   || N  ||  N  ||    ||  Y || #50    || get rid of unary '-' operator
    8080||    ||    ||    ||    ||    ||    ||    ||    ||    || M  ||    ||     ||    ||    ||   ||     ||    ||    || #48    || clarify module system proposals
    81 ||    ||    ||    ||    || N  || N  ||    || N  || N  || N  || N  ||     ||    ||    ||   ||  N  ||    ||    || #44    || add MagicUnderscore
     81||    ||    ||    ||    || N  || N  ||    || N  || N  || N  || R  ||     ||    ||    ||   ||  N  ||    ||    || #44    || add MagicUnderscore
    8282||    || N  || N  ||  N || N  || N  || N  ||    || N  || N  || N  ||  N  ||    ||   || N  ||  N  ||    ||    || #41    || add LambdaCase
    8383|| M  || M  || N  ||    ||    ||    || N  || Y  || Y  || N  || N  ||     ||    ||   ||    ||     ||    ||    || #34    || add ForeignData
     
    9292||    || M  || Y  ||    || Y  || AW || Y  || Y  || A  || Y  ||    ||  Y  || Y  ||   || Y  ||  Y  ||    || A  || #78    || Add infix type constructors
    9393|| N  ||    || Y  ||    || N  || N  || N  || N  || Y  || N  || N  ||  Y  ||    ||    ||   ||     ||  R ||    || #82    || Allow import declarations anywhere at the top level
    94 ||    ||    || Y  ||    ||    ||    ||    || Y  || A  || Y  || Y  ||  Y  ||    ||    ||   ||     ||    ||  Y || #81    || scoping of type variables in class instances
     94||    ||    || Y  ||    ||    ||    ||    || Y  || A  || Y  || A  ||  Y  ||    ||    ||   ||     ||    ||  Y || #81    || scoping of type variables in class instances
    9595|| Y* ||    || M  ||    ||    ||    || M  || M  ||    || M  ||    ||  M  ||    ||    ||   ||     ||  M ||  M || #88    || unified and extensible annotations
    9696||    ||    || N  ||    || M  || N  || N  || N  || N  || M  || N  ||  N  ||    ||    ||   ||  M  ||  R ||  N || #19    || control export and import of class instances
    9797||    ||    || Y  ||    ||    ||    || Y  || Y  || N  || Y  ||    ||  Y  ||    ||    ||   ||     ||    ||  Y || #17    || relax restriction on signatures of class methods
    9898|| Y* ||    || N  ||    || Y  || Y  || N  ||    || Y  || N  || N  ||     ||    ||    ||   ||  Y  ||    ||  Y || #68    || Eliminate tabs
    99 ||    || N  || Y  ||    || N  || N  || N  || Y  || Y  || Y  || N  ||     ||    ||   ||    ||     ||  R ||    || #64    || add recursive do syntax
     99||    || N  || Y  ||    || N  || N  || N  || Y  || Y  || Y  || R  ||     ||    ||   ||    ||     ||  R ||    || #64    || add recursive do syntax
    100100||    || M  || M  ||    ||    || Y  || N  || N* || N  || Y  || N  ||  Y  ||    ||   || Y  ||     ||  N ||    || #37    || add GADTs
    101 ||    || N  || N  ||    || N  || N  || N  || N  || Y  || Y* || N  ||  M  || N  ||   ||    ||  Y  ||  R ||  M || #73    || add views
    102 ||    || N  || N  ||  Y ||    || M  ||    ||    || R  || N  ||    ||  N  ||    ||   ||    ||     ||  N ||    || #71    || Allow Undecidable Instances
    103 ||    || N  || Y*  ||    ||    ||    ||    || N  || R  || M  || N  ||  Y  ||    ||   ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances
    104 || N  || N  || N  ||    || N  || R  || N  || N  || R  || N  || N  ||  N  || N  ||   || N  ||     ||  R ||  N || #43    || add Linear implicit params
     101||    || N  || N  ||    || N  || N  || N  || N  || Y  || Y* || R  ||  M  || N  ||   ||    ||  Y  ||  R ||  M || #73    || add views
     102||    || N  || N  ||  Y ||    || M  ||    ||    || R  || N  || N  ||  N  ||    ||   ||    ||     ||  N ||    || #71    || Allow Undecidable Instances
     103||    || N  || Y* ||    ||    ||    ||    || N  || R  || M  || R  ||  Y  ||    ||   ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances
     104|| N  || N  || N  ||    || N  || R  || N  || N  || R  || N  || R  ||  N  || N  ||   || N  ||     ||  R ||  N || #43    || add Linear implicit params
    105105|| M  || M  || N  ||    ||    || M  || N  ||    || Y  || Y  ||    ||  M  || N  ||   ||    ||  M  ||  M || YM || #36    || add FunctionalDependencies
    106106|| Y  || N  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  Y  ||    ||   ||    ||  N  ||  Y ||  Y || #77    || add MultiWayIf
    107107||    || N  || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    ||   || Y  ||     ||    ||  N || #69    || allow tuple sections
    108 || N  || N  || N  ||    || N  || N  || N  || N  || R  || N  || N  ||     || N  ||   ||    ||  N  ||  R ||  N || #38    || add implicit parameters
     108|| N  || N  || N  ||    || N  || N  || N  || N  || R  || N  || R  ||     || N  ||   ||    ||  N  ||  R ||  N || #38    || add implicit parameters
    109109|| M  || M  || M  ||    ||    || M  || N  || M  || M  || N  ||    ||  M  || N  ||   ||    ||     ||    ||  N || #14    || add Associated Types
    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
    112112||    ||    || Y  ||    || Y  || AW || Y  || Y  || A  || Y  || N  ||  Y  || Y  ||   || Y  ||     ||  A ||  A || #84    || Kind Annotations
    113 ||    ||    || N  ||    ||    ||    ||    ||    ||    ||    ||    ||  N  ||    ||   ||    ||     ||  Y ||    || #101    || Class aliases
     113||    ||    || N  ||    ||    ||    ||    ||    ||    ||    || N  ||  N  ||    ||   ||    ||     ||  Y ||    || #101    || Class aliases
    114114||    ||    || Y  ||    ||    ||    ||    ||    || Y  ||    ||    ||  Y  ||    ||   ||    ||     ||    ||  Y || #103    || MonomorphicPatternBindings
    115115----