3 ms·
Have 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
by mikhailfranco 6y ago
Have 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.