|
|
|
|
|
|
by bubblyworld
461 days ago
|
|
|
Typescript's type system is technically undecidable because you can interpret Turing machines with it: 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. |
|
|