Der nächste TypeScript-Compiler-Rewrite in Rust: tsz
Was er zusätzlich noch hat: Einen Sound-Mode. Damit überprüft der noch ein bisschen mehr. Z. B. wird Array-Index-Access von einem number[], dann number | undefined zurückgeben, statt wie üblich number, da ggf. nicht garantiert ist, dass der Index existiert.