3 ms·
One would say that static types has grown out of research in formal methods, and hence, is a consequence of formal methods.
by madsbuch 5y ago
One would say that static types has grown out of research in formal methods, and hence, is a consequence of formal methods.