wiki:StrawPoll-1

Version 5 (modified by malcolm.wallace@…, 8 years ago) (diff)

change from ABCD rating to Y/N/blank

Note: Isaac is asking for the committee to hold off voting for about 24 hours while we clarify what the ballot should look like.


Here is a form to record your current opinion on all proposals. Rate each proposal as

  • Y - I tend strongly towards accepting this proposal
  • N - I tend strongly towards rejecting this proposal
  • 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.


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

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>
  • 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>
  • 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>