Version 44 (modified by bastiaan@…, 8 years ago) (diff)


Straw Poll 1

Haskell' Committee: Here is a form to record your current opinion on all proposals.

About this Vote

This is a non-binding poll, not a vote which will have a clear impact on the process. It's for informational purposes only, although that is not to say that it will have no lasting effect on the process. If the entire committee strongly tends to reject a proposal, it is very possible that it will not receive much further consideration.

The deadline for this poll is the end of next week, but please try to get in your votes as early as possible so that we can have a discussion about its impact.

While you're at it, please visit the StrawPolls page and let us know if you think we should enable the poll feature in trac (which wouldn't work for this vote, since it's two-dimensional).

How to Vote

  • Rate each proposal as
    • Y - I tend strongly towards accepting this proposal
    • N - I tend strongly towards rejecting this proposal
    • M - More information is needed (the proposal isn't clear enough to make a meaningful vote)
    • blank - I am ambivalent, undecided, or haven't considered it properly in detail.
  • Add your ratings to the column of the table headed with your initials.
  • In order to reduce problems of multiple people editing:
    • Do the easy ones first (and quickly), and hit 'save'
    • Then do the harder ones one at a time, and save in-between each.

(I used Y* in a few places to indicate "I think we should do something here, but not necessarily what is proposed" -- Simon M.)

The Vote

Y Y M Y Y M #74 add some kind of concurrency
Y Y Y Y Y Y Y Y Y #35 add ForeignFunctionInterface
M Y Y M #49 add multi parameter type classes
Y Y Y Y Y Y Y #60 add RankNTypes or Rank2Types
Y Y Y Y Y Y Y #57 add polymorphic components
Y Y Y Y Y Y Y Y Y #26 add ExistentialQuantification (existential components)
Y Y Y Y #85 more liberal kind inference
Y Y Y Y Y N #70 allow TypeSynonymInstances
Y Y Y Y Y Y Y #65 Relax Dependency Analysis
Y N Y Y #39 add ImpreciseExceptions
Y(3) Y Y Y Y #29 add ExtensibleExceptions
Y Y Y Y Y Y Y Y Y #24 add HierarchicalModules
Y Y Y Y Y Y #89 standardize the System.FilePath? module for Haskell'
Y Y Y Y #53 Nondecreasing Indentation
Y Y Y Y Y Y #25 add EmptyDataDeclarations
Y Y Y Y Y #23 fix common pitfall with the do-notation and if-then-else
Y Y Y Y Y(1) Y #15 add a binary IO interface
Y Y #59 Fix the lexical syntax for qualified identifiers
Y Y Y Y Y #42 fix comment syntax grammar
M Y #32 add FlexibleInstances
#31 add Flexible Contexts
Y Y Y Y Y Y Y #56 add Pattern Guards
M Y #51 add new pragmas
N Y #79 Natural numbers
Y Y Y N Y Y #72 Make underscore 'caseless'
N N N N N N N #20 Eliminate . as an operator
Y Y Y Y Y Y #61 replace the Read class
Y N N #96 Replace the array indexing operator, '!'
M Y Y* N Y #95 improve module interfaces
N Y N N N #86 add PartialTypeAnnotations?
Y N Y #76 Bang patterns
Y* YM YM #67 add Scoped Type Variables
N N Y* N #62 allow data consructors to be exported and imported readonly
N M #58 prelude re-organisation proposal
N N N Y N N Y N #55 add Parallel List comprehensions
M Y Y N Y Y Y #52 Generalised deriving for newtype
N N N Y N N #50 get rid of unary '-' operator
#48 clarify module system proposals
N N N N #44 add MagicUnderscore
N N N N N N N #41 add LambdaCase
N Y N #34 add ForeignData
Y* Y #33 add Blockable
Y Y #30 remove operator fixity resolution from the context-free grammar
N N N #28 Require explicit quantification on all expression bound type signatures
Y #21 improve defaulting rules
N N N N #92 add First Class Labels
N N Y N Y #99 Move existing named field (record) system to an addendum
N N N N N #100 Replace named fields with an extensible record system
M Y #80 Reform the monomorphism restriction
Y Y Y Y Y #78 Add infix type constructors
N N N N Y N #82 Allow import declarations anywhere at the top level
Y Y #81 scoping of type variables in class instances
M M #88 unified and extensible annotations
N N N N #19 control export and import of class instances
Y Y #17 relax restriction on signatures of class methods
Y N N #68 Eliminate tabs
N N N N #64 add recursive do syntax
Y N N N Y Y N #37 add GADTs
N N N N M N #73 add views
Y M N N #71 Allow Undecidable Instances
N N Y N #54 add overlapping or incoherent instances
N N N N N N N #43 add Linear implicit params
N N M M #36 add FunctionalDependencies
N N N Y N #77 add MultiWayIf
N Y N Y #69 allow tuple sections
N N N N N #38 add implicit parameters
N N N #14 add Associated Types
N N N N #13 add Arrows
N N N N #18 add closed classes
Y Y Y N Y Y #84 Kind Annotations

Member key:

  • IJ Isaac Jones (co-editor)
  • JL John Launchbury (co-editor) <john at>
  • MC Manuel M T Chakravarty <chak at>
  • JG John Goerzen <jgoerzen at>
  • BH Bastiaan Heeren <bastiaan at>
  • AL Andres Loeh <loeh at>
  • SM Simon Marlow <simonmar at>
  • JM John Meacham <john at>
  • RN Ravi Nanavati <ravi at>
  • HN Henrik Nilsson <nhn at>
  • RP Ross Paterson <ross at>
  • SPJ Simon Peyton-Jones <simonpj at>
  • DS Don Stewart <dons at>
  • AT Audrey Tang <autrijus at>
  • SJT Simon J. Thompson <S.J.Thompson at>
  • MW Malcolm Wallace <Malcolm.Wallace at>
  • SW Stephanie Weirich <sweirich at>