ocamoss

4 ms·

31.
Reaching 100% Type Coverage by Deleting Unannotated Code(pyrefly.org)
3 points by ocamoss 6mo ago|0 comments
32.
Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly(pyrefly.org)
6 points by ocamoss 7mo ago|0 comments
33.
by ocamoss 7mo ago
Pyright had 100% conformance until recently. There was a new PEP that was accepted which required some new conformance tests, which no type checker has added support for yet.
34.
by ocamoss 7mo ago
> people looking at the low pass rates for mypy and ty and concluding they must not be very useful Yeah, that would be the wrong takeaway from this blog. The point of the blog was to add context to what the conformance results mean and c
35.
by ocamoss 7mo ago
Pyrefly's Django support is documented here: https://pyrefly.org/en/docs/django/ I believe Zuban also has some form of Django support, but I'm unable to locate the docs
36.
PyCon 2026 Typing Summit: Thu May 14, 1-5pm(discuss.python.org)
2 points by ocamoss 7mo ago|0 comments
37.
by ocamoss 7mo ago
We're working on statically checking Jaxtyping annotations in Pyrefly, but it's incomplete and not ready to use yet :)
38.
Comparing Python Type Checkers: Typing Spec Conformance(pyrefly.org)
119 points by ocamoss 7mo ago|59 comments
39.
Pandas' Public API Is Now Type-Complete(pyrefly.org)
4 points by ocamoss 7mo ago|0 comments
40.
by ocamoss 7mo ago
It's acknowledged at the end of the "infer any" strategy, but perhaps worded poorly. > To improve type safety in these situations, type checkers that infer Any for empty containers can choose to generate extra type errors
41.
by ocamoss 7mo ago
If you're referring to the `first_three_lines` example in strategy 3, Mypy would give the same error even if we changed the return value to something unrelated like `return ["something"]`.
42.
by ocamoss 7mo ago
Requiring the annotations on empty containers is the only way to have type safety if the type checker cannot infer the type of the container, like Pyright. If the type checker can infer a type then the annotation would only be required if t
43.
Python Type Checker Comparison: Empty Container Inference(pyrefly.org)
59 points by ocamoss 8mo ago|57 comments
44.
PyTorch Now Uses Pyrefly for Type Checking(pytorch.org)
5 points by ocamoss 8mo ago|0 comments
45.
Making Pyrefly Diagnostics 18x Faster(pyrefly.org)
5 points by ocamoss 8mo ago|0 comments
46.
Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive(pyrefly.org)
6 points by ocamoss 8mo ago|0 comments
47.
Making a Strava-Style Heatmap with My Citibike Ride History(yangdanny97.github.io)
2 points by ocamoss 9mo ago|0 comments
48.
Python Typing Survey 2025: Code Quality and Flexibility Top Reasons for Adoption(engineering.fb.com)
1 points by ocamoss 9mo ago|0 comments
49.
by ocamoss 10mo ago
(pyrefly maintainer here) If you haven't already, please file an issue for that crash on the [Pyrefly repo]( https://github.com/facebook/pyrefly ) as well :)
50.
Reforging the ReScript Build System(rescript-lang.org)
3 points by ocamoss 10mo ago|0 comments
51.
What can I do with ReScript?(rescript-lang.org)
3 points by ocamoss 10mo ago|0 comments
52.
Fly through data validation with Pyrefly's new Pydantic integration(pyrefly.org)
1 points by ocamoss 10mo ago|0 comments
53.
ReScript 12(rescript-lang.org)
2 points by ocamoss 10mo ago|0 comments
54.
by ocamoss 10mo ago
Pyrefly (a new language server and type checker for Python) now includes built-in support for Pydantic, a popular Python library for data validation and parsing. Previously, the only type checker that supported Pydantic was Mypy, via a plug
55.
Pyrefly Beta (fast type checker and language server for Python) [video](youtube.com)
2 points by ocamoss 11mo ago|0 comments
56.
Pyrefly: Type Checking 1.8M Lines of Python per Second [video](youtube.com)
1 points by ocamoss 11mo ago|0 comments
57.
Talk Python Podcast Ep 523 – Pyrefly: Fast, IDE-Friendly Typing for Python(talkpython.fm)
1 points by ocamoss 1y ago|0 comments
58.
by ocamoss 1y ago
Pyrefly actually does have (experimental) support for Pydantic! https://pyrefly.org/en/docs/pydantic/
59.
Python developers are embracing type hints(pyrefly.org)
318 points by ocamoss 1y ago|566 comments