News for hackers. Stuff that matters.

A comment on Pyrefly: Python type checker and language server in Rust. Parent comment

Re:Pyrefly: Python type checker and language server in Rust by wiz21c on Tuesday October 14, 2025 @10:29AM (#45580488)
isn't it perfectly valid to pass None to that function ? It's not like python enforces types at runtime nor at compile time. Right ?
[ Parent | on HN ]
Re:Pyrefly: Python type checker and language server in Rust by Austizzle on Tuesday October 14, 2025 @10:47AM (#45580739)
It's not valid from a typing perspective, but python will let you. If you want to disregard types though then none of this matters anyway and you won't get much benefit from these tools
[ Parent | on HN ]
Re:Pyrefly: Python type checker and language server in Rust by yesb on Tuesday October 14, 2025 @10:54AM (#45580828)
Sure, it's valid python to do that. By that logic you could also pass an int. But the context of this post is that you're using a static type checker.
[ Parent | on HN ]