Re:Pyrefly
by jon-wood on Tuesday April 29, 2025 @11:58AM
(#43834406)
I think the point here is that for something like Python the default behaviour should be an assumed return type of `Any` rather than throwing an error. Maybe that is the case and the GP had configured it otherwise.
[ Parent
| on HN ]
No it shouldn't because then you can easily miss places where you should have added a type annotation, and also your lazy colleagues won't bother adding them at all.
Re:Pyrefly
by darthrupert on Wednesday April 30, 2025 @01:39AM
(#43841606)
The worst of both worlds is colleagues who insert type annotations but they're wrong. And there's no CI pipe to verify the types before check-in.
Working with these things makes me often think that people who want to write high quality software should just use a better language. But, well, real world is real.
Re:Pyrefly
by koakuma-chan on Wednesday April 30, 2025 @12:48PM
(#43847830)
> just use a better language
This
Yeah unfortunately Python is crazy popular so a lot of the time you don't get a choice.
If fairness if you set up uv and Ruff and Pyright it's kind of ok. Still have to deal with the general noobness of the ecosystem and the horrific performance, but I've seen worse.