2 ms·
I see. I got confused by the fact that for me a program that never ends is still valid, but I understand how this makes no sense for a type system.
by yoz-y 9y ago
I see. I got confused by the fact that for me a program that never ends is still valid, but I understand how this makes no sense for a type system.