3 ms·
Type Systems are good at catching more than just type errors. For example, booleans are much better represented in the type system.
by Rickasaurus 15y ago
Type Systems are good at catching more than just type errors. For example, booleans are much better represented in the type system.