Automatic typing

[bearophile]

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