3 ms·
Of the list above, I'm most surprised that Swift doesn't have a Turing complete type system.
by gpderetta 5y ago
Of the list above, I'm most surprised that Swift doesn't have a Turing complete type system.
- ReleaseCandidat 5y agoI wanted to answer with "because Swift's type checking is decidable", but that has changed (with SE-0142 and SE-0157) - allowing recursion. So, it is 'at least' undecidable now. https://forums.swift.org/t/swift-type-checking-is-undecidable/39024 https://forums.swift.org/t/swift-type-checking-is-undecidabl...
- gpderetta 5y agoYes, I did see that bit. Incidentally google provides terrible results for 'swift type system turing complete'.