​​#ts has Turing-complete type system. It means that you can write any program with just types.

Here's an amazing example:

> This project attempts to push TypeScript's type system to its limits by actually implementing various functions and algorithms, purely on top of the type system.

> Every implementation includes comments describing in detail what's going on. Some functions and algorithms use creative (and sometimes not officially supported) solutions to overcome some limitations of the type system.

https://github.com/ronami/meta-typing