Re: 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 <mgsl...@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 <jo...@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@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>>
>
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

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

[Michael Sloan]

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  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@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime