4 ms·
Types are tests. On top of being unit tests that are forcibly run, they are formal and apply everywhere a datum is used.
by friendzis 5y ago
Types are tests. On top of being unit tests that are forcibly run, they are formal and apply everywhere a datum is used.