Re: Proposal: Partial Type Signatures

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. Cheers, Gabor