> You have to wonder whether you could implement TypeScript itself in that language... I also wonder if you could compile TypeScript to TypeScript types? After

> You have to wonder whether you could implement TypeScript itself in that language... I also wonder if you could compile TypeScript to TypeScript types? After all, you want your type manipulation code to be typesafe.