Automatic typing

bearophile bearophileHUGS at lycos.com
Fri Jun 28 06:59:17 PDT 2013


ponce:

> Well ocaml has it 
> (https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner) and well 
> it's not all that positive, at least in that language.

I think a H-M global type inferencer is not needed for what the 
OP is asking for, that is limited _inside_ functions, so it's not 
global. See the flow-typing link I have shown above (the links I 
add to threads aren't just for show).

Bye,
bearophile


More information about the Digitalmars-d mailing list