(To be clear, this about Cale's proposal, not simonpj's one) Johannes Waldmann wrote: > Sittampalam, Ganesh wrote: > >> ... it would make it substantially less likely that subexpressions >> could be abstracted into a separate declaration without giving a type >> signature to fix the type of the new declaration. > > OK, then give a type signature to fix the type of (really, to > document) the new declaration. > > I can't understand why declarative programmers insist they should be > able to omit (type) declarations ...
I find type inference a valuable feature. Generally at some point I annotate top-level declarations, but while developing it's nice not to have to worry about it. Having to annotate every single declaration would be painful. Ganesh =============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html =============================================================================== _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe