[Haskell-cafe] Proposal: TypeDirectedNameResolution

Sittampalam, Ganesh ganesh.sittampalam at credit-suisse.com
Tue Jul 28 04:28:14 EDT 2009

(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.


 Please access the attached hyperlink for an important electronic communications disclaimer: 

More information about the Haskell-Cafe mailing list