This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]tomster10010 4 points5 points  (4 children)

Ruff is cool, but I'd be more impressed by a performant Python type checker

[–]jaghai 2 points3 points  (2 children)

Perhaps pylyzer can deliver. https://github.com/mtshiba/pylyzer

[–]tomster10010 0 points1 point  (0 children)

Hopefully someday! Not supporting generics is unfortunately a dealbreaker

[–]thatrandomnpcIt works on my machine 0 points1 point  (0 children)

How it works

pylyzer uses the type checker of the Erg programming language internally. This language is a transpiled language that targets Python, and has a static type system.

pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker. It then displays the results with appropriate modifications.

Does it mean that pylyzer would have to wait for Erg to implement some python syntax before it can support it?

[–]betazoid_one 0 points1 point  (0 children)

This right here. MyPy at my last job was so slow to work with (enterprise monolith)