Hacker News Reader

Most of them can't be coerced like this. Typescript is one of the few that can be.

The type systems of C++, C#, Java, Scala, Rust, Haskell, Swift etc all Turing complete/undecidable, aren't they?