In this issue on the hpack tracker, I describe my swing at coming up with a
conservative set of extensions:
https://github.com/sol/hpack/issues/94
The list I ended up with is:
LambdaCase, GADTSyntax, ScopedTypeVariables, TupleSections, BangPatterns,
FlexibleInstances, FlexibleContexts, MultiWayIf, TypeOperators,
FunctionalDependencies,
BinaryLiterals, RecursiveDo, ParallelListComp, PartialTypeSignatures,
EmptyCase, InstanceSigs
Not sure about FlexibleInstances, EmptyCase, or TupleSections (see the
issue).
If some set like this is accepted, then that "just" leaves figuring out the
set of more complicated type system extensions :)
-Michael
On Mon, May 2, 2016 at 3:57 PM, John Wiegley
I wonder if there are GHC extensions we'd like to promote as features in the next report, as a starting point for discussing new additions.
There are a few GHC features that have become part of the regular Haskell landscape, such that it's hard to imagine a modern Haskell without them. For example, MultiParamTypeClasses, OverloadedStrings, GADTs, TypeFamilies, etc.
How much "work" is typically involved in promoting a feature to be in the Report, and how do we determine when it's a bad idea?
-- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime