3 ms·

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 stati

by Yoric 1y 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.