[bluepnume]

At this point TS is a turing complete language.

Complaining that you have to tune it for performance is like complaining that your runtime code isn't automatically maximally performant without a little tuning.

[shepherdjerred]

TypeScript has been turing complete for a very long time. You might find this interesting: https://github.com/type-challenges/type-challenges