4 ms·
I don't think most people care at all that their type system is turing complete. It basically never comes up.
by insanitybit 3y ago
I don't think most people care at all that their type system is turing complete. It basically never comes up.
- taeric 3y agoAgreed. Adding to this point, why should I care? Am I missing anything obvious on why you don't want it?
- insanitybit 3y agoNot really. In theory it means your compiler might never terminate... that does not usually happen.