[Haskell-cafe] Proposal: TypeDirectedNameResolution

[Sittampalam, Ganesh]

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