Automatic typing

bearophile bearophileHUGS at lycos.com
Fri Jun 28 08:35:03 PDT 2013


Brian Rogoff:

> No, OCaml doesn't quite do what the OP is asking for. In 
> particular, the part where x is assigned an int and 
> subsequently assigned a float can not be modeled directly.

I see, then this is not related to the flow typing I have linked 
to, sorry.

Bye,
bearophile


More information about the Digitalmars-d mailing list