Typescript's type system is technically undecidable because you can interpret Turing machines with it: https://github.com/microsoft/TypeScript/issues/14833 htt

Typescript's type system is technically undecidable because you can interpret Turing machines with it: https://github.com/microsoft/TypeScript/issues/14833 https://github.com/microsoft/TypeScript/issues/14833 The flip side is that such systems can still be practically useful. You just have to manage your type complexity, much like you already manage your runtime complexity.