28 Jul
2009
28 Jul
'09
4:06 a.m.
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.