Currently we run "tsc" to "compile" the code and tell us about type errors. "This method passes as string to something that expects a number" etc. In a world w

Currently we run "tsc" to "compile" the code and tell us about type errors. "This method passes as string to something that expects a number" etc. In a world where JS has type notation, we'd need a similar command that could analyze the code without running it.