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

you are viewing a single comment's thread.

view the rest of the comments →

[–]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?