[ghc-steering-committee] #380 GHC2021: Forth status update / kialo.com

[Richard Eisenberg]

> On Dec 15, 2020, at 3:27 PM, Simon Marlow <marlowsd at gmail.com> wrote:
> 
> If I recall correctly, it was Richard who argued for NamedWildCards without PartialTypeSignatures (or independently of it), somewhere deep in one of these email threads :)

Yes. I think it's useful to be able to write blanks in types to get informative diagnostics from GHC. But I'm not yet convinced that we should encourage users to do this routinely (which is what enabling -XPartialTypeSignatures by default would mean). NamedWildCards increases the usefulness of writing blanks in types to get useful diagnostics by being able to name the blanks (great on its own) and express that two blanks should be the same.

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