[Haskell-cafe] Proposal: TypeDirectedNameResolution

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Tue Jul 28 04:06:01 EDT 2009


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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090728/153b6461/signature-0001.bin


More information about the Haskell-Cafe mailing list