3 ms·
The type systems of C++, C#, Java, Scala, Rust, Haskell, Swift etc all Turing complete/undecidable, aren't they?
by bmacho 3y ago
The type systems of C++, C#, Java, Scala, Rust, Haskell, Swift etc all Turing complete/undecidable, aren't they?
loading thread…