[ghc-steering-committee] #364: Unify Nat and Natural, recommendation: accept

[Vitaly Bragilevsky]

Hi,

I support the recommendation to accept this proposal.

Vitaly

чт, 1 окт. 2020 г. в 13:02, Alejandro Serrano Mena <trupill at gmail.com>:

> Dear all,
> I recommend that we accept this proposal. The only problematic (read, not
> backwards-compatible) bit is the case of a type class having instances for
> both `Nat` and `Natural`, but that seems very unlikely.
>
> Something which I thought about was whether any of `Nat` or `Natural` were
> implementing something akin to Peano naturals (so we could have inductive
> instances working on Zero and (Succ n)), both none of both do, so the
> alignment seems correct to me.
>
> Regards,
> Alejandro
>
> El vie., 25 sept. 2020 a las 16:06, Joachim Breitner (<
> mail at joachim-breitner.de>) escribió:
>
>> Dear Committee,
>>
>> this is your secretary speaking:
>>
>> Unify Nat and Natural
>> has been proposed by Richard
>> https://github.com/ghc-proposals/ghc-proposals/pull/364
>>
>> https://github.com/goldfirere/ghc-proposals/blob/natural/proposals/0000-unify-natural.rst
>>
>> I’ll propose Alejandro as the shepherd.
>>
>> Please guide us to a conclusion as outlined in
>> https://github.com/ghc-proposals/ghc-proposals#committee-process
>>
>> Thanks,
>> Joachim
>> --
>> Joachim Breitner
>>   mail at joachim-breitner.de
>>   http://www.joachim-breitner.de/
>>
>>
>> _______________________________________________
>> 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/20201002/247b19e3/attachment.html>