wiki:StrawPoll-1

Version 4 (modified by ijones, 8 years ago) (diff)

asking to hold off voting util we get the ballot settled

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.
Using the champion system, rate each proposal as

 * A - I absolutely want this and will fight for it.
 * B - I have a preference to have it, but will not fight.
 * C - I'd rather not have this, but will not fight.
 * D - I will fight against this.

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>