3 ms·
What exactly are you calling "type inference"? It cannot be ML-like type reconstruction, because doing that requires either whole program analysis or a prohibit
by catnaroek 11y ago
What exactly are you calling "type inference"? It cannot be ML-like type reconstruction, because doing that requires either whole program analysis or a prohibition from interacting with untyped code.
- tahssa 11y agoYou're correct. A late night slip, I meant dynamic typing.