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 ... Best, J.W.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe