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
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
