[ghc-steering-committee] CUSKs and StandaloneTypeSignatures

[Iavor Diatchki]

I have never used one of these, so I have no strong opinion on what we do
here.

On Fri, Dec 4, 2020 at 6:41 AM Spiwack, Arnaud <arnaud.spiwack at tweag.io>
wrote:

> I agree that implementation bugs are not what we want to worry about. But
> straightforward or not, StandaloneKindSignature's design has barely been
> tested. It wouldn't be the first extension that we believed to be
> unproblematic (I do believe it is!) and be surprised that there are some
> dark corners. So I'd say let's give it a little time.
>
> On Fri, Dec 4, 2020 at 3:29 PM Richard Eisenberg <rae at richarde.dev> wrote:
>
>> I think StandaloneKindSignatures should be included. It's true that there
>> may be implementation bugs, but the design of them is really quite
>> straightforward, so I don't expect design bugs. And I think it's design
>> bugs that should hinder inclusion, much more than implementation bugs (of
>> which I know none, at the moment).
>>
>> Richard
>>
>> On Dec 4, 2020, at 9:15 AM, Spiwack, Arnaud <arnaud.spiwack at tweag.io>
>> wrote:
>>
>> CUSKs need to go. I see no place for them in the defaults.
>>
>> I want StandaloneKindSignature in the default too, but I think that they
>> are not battle-tested enough to be included this time around.
>>
>> On Fri, Dec 4, 2020 at 2:45 PM Alejandro Serrano Mena <trupill at gmail.com>
>> wrote:
>>
>>> Maybe some part of this discussion got lost.
>>>
>>> Simon PJ writes:
>>>
>>> Let's *not* have CUSKs.  We are trying to get rid of it... it'd be
>>>> deeply strange to "bless" it in GHC2020.
>>>>
>>>> StandaloneKindSignatures is clearly the Right Thing. I'm sure we'll
>>>> want it long term.
>>>>
>>>> It's a very graceful fit with PolyKinds.
>>>>
>>>
>>>
>>> I would really like StandaloneTypeSignatures to be part of the default,
>>> and remove CUSKs. Thoughts on this? Is it too early?
>>>
>>> Regards,
>>> Alejandro
>>> _______________________________________________
>>> ghc-steering-committee mailing list
>>> ghc-steering-committee at haskell.org
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>>
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
>>
>> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201204/bd22a2a7/attachment.html>