3 ms·
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 ty
by norskeld 2y ago
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 https://github.com/codemix/ts-sql)
- Chess implemented entirely in TypeScript (and Rust) type systems (https://github.com/Dragon-Hatcher/type-system-chess https://github.com/Dragon-Hatcher/type-system-chess)
- Lambda calculus in TypeScript type system (https://ayazhafiz.com/articles/21/typescript-type-system-lambda-calculus https://ayazhafiz.com/articles/21/typescript-type-system-lam...)