[norskeld]

TypeScript's type system is Turing complete, so you can not only do that, but also some insane stuff like:

- A SQL database implemented purely in TypeScript type system (https://github.com/codemix/ts-sql)

- Chess implemented entirely in TypeScript (and Rust) type systems (https://github.com/Dragon-Hatcher/type-system-chess)

- Lambda calculus in TypeScript type system (https://ayazhafiz.com/articles/21/typescript-type-system-lam...)