On the other hand, it's definitely possible for a language's interpreting infrastructure to deal with ambiguity in code. The difference between "natural languag

On the other hand, it's definitely possible for a language's interpreting infrastructure to deal with ambiguity in code. The difference between "natural language vs type inference" and "type inference vs assume it's an int" strikes me as quantitative rather than qualitative. You'd need a monstrously complicated system of logic to make it work, though. I'm not sure whether that thought's interesting or frightening...