TypeScript support for type-checking

[swc-project]

TypeScript support for type-checking

[kdy1]

It was intentional as babel does not do type checking, but I'm considering implementing it.

[dgoldstein0]

Typescript's type system gets new improvements with every minor version release. I don't see how it'd be a viable strategy for an alternative implementation to keep up with them - even if you have enough resources to keep up, you'd have to match it quirk for quirk to actually be compatible.

A lot of people separate transpiling and typechecking in their tools anyway - with some webpack plugins (awesome-typescript-loader) even forking separate processes to report typecheck errors outside the normal rebuild flow. So I don't think this is a necessary feature, though certainly a project that just tried to speed up typescript's typechecking would be appreciated.

[sledorze]

@kdy1 have you evaluated how much a moving target typescript really is?

[sledorze]

@kdy1 yes the type system is changing frequently and is not sound, full of corner cases; I'm guessing that it's a herculean job..

[kdy1]

@sledorze I didn't, but in one blog post they said they co-operated with babel team to make babel understand typescript. So I think trancompiler is not that hard to follow.

I'm not sure about type system though. Type system of typescript seems to be changing frequently..

[jeromegn]

That makes sense! I didn't realize it changed so often. Now I just wish typescript would want to contribute and use this instead of their own checker.

Feel free to disregard this issue :)

[swc-bot]

This closed issue has been automatically locked because it had no new activity for a month. If you are running into a similar issue, please create a new issue with the steps to reproduce. Thank you.