A Pyrefly developer introduced FwPython, a small formal language modeled in Lean 4, to explore edge cases in Python's type system. The language includes classes, inheritance, method lookup, and isinst…
Dify, an open-source platform for building LLM applications, integrated Pyrefly static analysis into its CI pipeline to improve type coverage without blocking daily work. The rollout uses a blocking c…
Pyrefly, a Python type checker, has introduced an experimental feature that brings tensor shapes into Python's type system, allowing shape annotations to become inferred type hints instead of comments…
A PyCon US 2026 talk presented findings from an experiment on type checking in agentic workflows. The study found that type checking improved agent success rates from 80% to 84% only in well-typed cod…