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@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@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee