This web content introduces a project that explores the limits of TypeScript’s type system by implementing various functions and algorithms purely on top of the type system. The goal is to catch bugs and errors in code as it is being written, rather than waiting for them to appear when the code runs. The project includes comments explaining the details of each implementation, some of which use creative solutions to overcome limitations of the type system. However, it is important to note that this project is meant for fun and learning, and not for practical use. It provides functions and algorithms for math operations, working with lists and arrays, sorting, utility comparisons, and solving puzzles. The content also includes additional links for exploring advanced TypeScript patterns and emulating a 4-Bit Virtual Machine.
https://github.com/ronami/meta-typing