Typescript's type system is known to be turing complete and people have implemented things such as sorting/tree-walking just using types (i.e. during compile ti

Typescript's type system is known to be turing complete and people have implemented things such as sorting/tree-walking just using types (i.e. during compile time) [1]. I'd imagine something like this should be possible as well, but I'm not sure it would be worth it, considering the effort it would take to implement. [1]: https://twitter.com/anuraghazru/status/1511776290487279616 https://twitter.com/anuraghazru/status/1511776290487279616