[ghc-steering-committee] Updated partial type signatures (#194) - recommendation: accept

[Simon Marlow]

I read the proposal in full today.
* I think I like the idea of explicit syntax for partial type signatures
* Elision in types doesn't seem all that useful, yet it occupies prime
syntactic real estate. I thought about this for a while and I don't have
any alternative suggestions unfortunately.

Cheers
Simon


On Sun, 17 Nov 2019 at 14:44, Vitaly Bragilevsky <bravit111 at gmail.com>
wrote:

> Hi everyone,
>
> Being the shepherd to the Updated partial type signatures proposal (#194,
> https://github.com/ghc-proposals/ghc-proposals/pull/194), I recommend
> acceptance. I've posted the rationale behind this recommendation on Github
> thread (
> https://github.com/ghc-proposals/ghc-proposals/pull/194#issuecomment-554751379
> ).
>
> In short: the proposal unifies the treatment of underscores and
> identifiers beginning with underscores everywhere outside patterns. It also
> brings more control to partial type signatures.
>
> Please, raise your voices here or there. As usual, silence is understood
> as an agreement.
>
> Vitaly
> _______________________________________________
> 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/20191125/4a849df3/attachment.html>