3 ms·
This is about static typing. I expect my static typing to terminate. Getting typing to work with a "screw this" fallback is already possible.
by filmor 6y ago
This is about static typing. I expect my static typing to terminate. Getting typing to work with a "screw this" fallback is already possible.
- mikhailfranco 6y agoHave a look at Erlang's success typing https://it.uu.se/research/group/hipe/papers/succ_types.pdf https://it.uu.se/research/group/hipe/papers/succ_types.pdf
- filmor 6y agoYes, that is the "screw-this-fallback" typing I was referring to... If it fails to prove a type for a value, it falls back to "this could be any type" which brings this part of the code back to pure dynamic typing.