>>26
Did anyone claim type inference for dynamicly typed languages? Compilers tend to do it for trivial cases, but of course it won't do it for any non-trivial cases. Also, a static language (like ML) could just solve this problem by making a's type like this:
type string_or_int = S of string | B of int;;, no problem there, it's limited enough for type-inference, but not free enough for dynamic typing.