4 ms·
The type system is turing complete, and its implementation already supports this, since its required for correctness. People using this feature does not incur
by volta83 6y ago
The type system is turing complete, and its implementation already supports this, since its required for correctness.
People using this feature does not incur any "extra" effort.