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

[Richard Eisenberg]

> On Nov 25, 2019, at 11:16 AM, Simon Marlow <marlowsd at gmail.com> wrote:
> 
> * 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.
> 

For what it's worth, I completely agree here. However, we Haskellers seem to like being able to say `const x _ = x`. Being able to write an underscore there is nice, and we would sorely miss its absence. Why don't we feel the same about `const :: a -> _ -> a`? Maybe it's that we're not used to it? I agree that I don't feel the same about these two elisions, but I can't articulate why.

Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20191125/2f06e718/attachment.html>