Hacker News Reader

Comment by satvikpendem | Hacker News Reader

Do you know about Perry, a TypeScript to native binary compiler also in Rust? That might be interesting to collaborate on.

https://old.reddit.com/r/typescript/comments/1rjxo8z/what_if...

https://perryts.com/

View on HN

Yes I'm aware of that. Perry is a different project. Folks at Oxi tools are also doing something similar (a ts checker) but that's also not 100% compatible with tsc. My goal with tsz is a superset of tsc that's stricter (for now it's called Sound Mode). But matching more than a decade of work that TypeScript has put in has been a long journey already. None of the existing TypeScript rewrites are matching the original tsc yet. tsgo is the closest but that also has bugs that needs to be addressed before TS 7 is released.

I think my architecture can be faster than tsgo albeit a much more painful codebase to work on. But I'm not claiming any sort of achievement yet.

Ultimately users have to decide and I have to show a very strong case that someone should use a nonofficial rewrite over Microsoft's own code.

Will tsz be a success? I am not sure. Am I learning and having fun? for sure!

Yeah I didn't mean subsuming one project into another, just that maybe both could be integrated so that a user can type check strongly and soundly with tsz and then compile with Perry. Turning TypeScript into a true sound statically typed language with AOT compilation would be amazing.

Reply on news.ycombinator.com