3 ms·
Do you really want a turing complete type system? Being turing complete does not necessarily mean more powerful for real world applications.
by emiljbs 13y ago
Do you really want a turing complete type system? Being turing complete does not necessarily mean more powerful for real world applications.