6 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 12y ago
Do you really want a turing complete type system? Being turing complete does not necessarily mean more powerful for real world applications.