[teaearlgraycold]

That means little to a programmer unless they really want to spend thousands of hours building a type checker before starting a project.

[wrs]

Talk about moving the goalposts! Did you implement TypeScript yourself before using it?

[teaearlgraycold]

The parent comment implies that the tool does not exist yet.