It's eye-opening to know the Turing completeness of TypeScript' type programming. It is fun and insightful to know this fact. The examples are simple and to the point.
This really shows that there is a lot of potential for a native tsc alternative (like the one that was on the front page recently) to shine in terms of performance
Unlikely, types intentionally cannot affect the emitted JavaScript. You can always get raw JavaScript from TypeScript code by blindly erasing the type annotations (and transforming a few special syntaxes).