[Yossarrian22]

Close, Microsoft’s type checker Pyright is Typescript. Its still faster than mypy for me though.

[chrisweekly]

Pls forgive my ignorance, but how is Typescript (a superset of Javascript) used to type-check Python?

[thraxil]

You can write a parser and type checker for pretty much any language in pretty much any language. It's just text files as input and text as output.

[ItsHarper]

They're saying pyright is a Python type checker, but it's written in Typescript, not Rust.

[Yoric]

There's nothing magical to type-checking Python. You can write this in any programming language. TypeScript is actually a pretty nice language for writing static analysis tools.

[dist-epoch]

just like the Python compiler/interpreter is written in C.