3 ms·
Fair. However, most people are using stuff like JS and Python. For them even the non-dependent type systems are an improvement.
by k__ 2y ago
Fair.
However, most people are using stuff like JS and Python. For them even the non-dependent type systems are an improvement.