3 ms·
There is even an established term for that, "phase distinction".
by Joker_vD 4y ago
There is even an established term for that, "phase distinction".
- zozbot234 4y agoStatic typing need not involve a phase distinction. It does not in dependently-typed languages, though you can always reintroduce one via some kind of program extraction.