Comment by Yossarrian22

Comment by Yossarrian22 a day ago

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

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

thraxil a day ago

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.

Reply View | 0 replies
ItsHarper a day ago

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

Reply View | 0 replies
Yoric a day ago

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.

Reply View | 0 replies
[removed] a day ago

[deleted]

Reply View | 0 replies
dist-epoch a day ago

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

Reply View | 0 replies