4 ms·
Depends on your definition of 'widely used' ;). Using Tiobe's top 20: I'd guess Swift, Delphi, Fortran and Go C++, Java, Rust, Haskell, Typescript have a Turi
by ReleaseCandidat 5y ago
Depends on your definition of 'widely used' ;).
Using Tiobe's top 20: I'd guess Swift, Delphi, Fortran and Go
C++, Java, Rust, Haskell, Typescript have a Turing complete type system. C#: don't know, could be.
- gpderetta 5y agoOf 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'.