Are there GHC extensions we'd like to incorporate wholesale?

[Michael Sloan]

Doh, left off MultiParamTypeClasses from the list in the email.  Though, as
Richard mentions, apparently this should be carefully considered with
regards to coherence.

On Mon, May 2, 2016 at 7:41 PM, Michael Sloan <mgsloan at gmail.com> wrote:

> 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 <johnw at newartisans.com>
> wrote:
>
>> 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 at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-prime/attachments/20160502/d9ce4a78/attachment-0001.html>