3 ms·
Indeed, type systems are domain-specific languages, that run at compile time or runtime, and specify constraints about values. Most of them can be coerced to d
by bmacho 3y ago
Indeed, type systems are domain-specific languages, that run at compile time or runtime, and specify constraints about values.
Most of them can be coerced to do general computation, especially if they have things like if-branch, and some sort of self-reference.
- formulathree 3y agoMost of them can't be coerced like this. Typescript is one of the few that can be.
- bmacho 3y agoThe type systems of C++, C#, Java, Scala, Rust, Haskell, Swift etc all Turing complete/undecidable, aren't they?