| Version 4 (modified by ijones, 7 years ago) |
|---|
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>
