Proposal: Partial Type Signatures

Gabor Greif ggreif at
Wed Mar 12 18:51:24 UTC 2014

Hi all,

this proposal looks very interesting. When writing functions that
consume/produce values of proper GADT type, signatures are mandatory.
So just spelling out the GADTs and leaving the rest to type inference
looks like a clear win.

I can only second the in-development-no-signatures argument. Many
types are in flux, but the fundamentals can be stated with partial
signatures. This also reduces the embarrassment when one goes with a
fixed signature just to discover later that there would have been a
much more general form of it, simply inferrable.



More information about the ghc-devs mailing list