It's interesting, I wonder why the proposal doesn't talk about leaving TS code and simply ignoring the syntax using something like babel to preprocess it out (without needing to run the type checking outside of CI).
tsc can also do that, but I think there's something else here.
I'm not really sure what this post is getting at. I trust Ry knows the issue better, but from what I've read I have the same questions as everyone else here:
- Why is Deno defining interfaces and classes like that?
- Will this mean losing type checking in projects using deno?
- Why not strip types in development and only check at commit/push/build times?
FWIW Flow actually let you write type annotations as comments so that the code was syntactically valid JavaScript. I'm not sure if TS ever had something like this.