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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		formulathree on July 5, 2023 \| parent \| context \| favorite \| on: Functions and algorithms implemented purely with T... Most of them can't be coerced like this. Typescript is one of the few that can be.

bmacho on July 5, 2023 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact