Pyrefly: A new type checker and IDE experience for Python

Re:Pyrefly: A new type checker and IDE experience for Python by dontlaugh on Saturday May 17, 2025 @11:54AM (#44015177)

Having used Python for many years, it’s the least interesting aspect of the language. Almost all such tricks can be done with compile time meta programming, often even without API changes.

[ Parent | on HN ]

Re:Pyrefly: A new type checker and IDE experience for Python by mixmastamyk on Saturday May 17, 2025 @02:18PM (#44016019)

I'd like to read a blog post on this subject, if anyone knows one.

[ Parent | on HN ]

Re:Pyrefly: A new type checker and IDE experience for Python by dontlaugh on Sunday May 18, 2025 @03:34AM (#44019657)

I don’t know about a blog post, but I mean the obvious stuff like codegen, generics/templates or macros to achieve the same things Python does by being dynamic.

Almost no one actually uses eval/exec.

[ Parent | on HN ]