> Put JavaScript into types. It's not without precedent - Haskell has a Turing c... | Hacker News

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

		Reelin on Nov 20, 2020 \| parent \| context \| favorite \| on: TypeScript 4.1 > Put JavaScript into types. It's not without precedent - Haskell has a Turing complete type system. (There's also Scala, Rust, and C++ templates which are all arguably Turing tarpits.)

smt88 on Nov 20, 2020 [–]

TypeScript also has a Turing-complete type system, if I remember correctly.

WorldMaker on Nov 20, 2020 | [–]

The joke in the release notes here asking developers not to publish Fibonacci computations in the type system to npm is not entirely a joke.

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