News for hackers. Stuff that matters.

A comment on Ty: A fast Python type checker and language server. Parent comment

Re:Ty: A fast Python type checker and language server by spooky_action on Wednesday May 07, 2025 @10:45PM (#43922604)
It's not perfect, but runtime_checkable is a thing https://docs.python.org/3/library/typing.html#typing.runtime...

It doesn't actually preserve typing on the protocol's methods though

[ Parent | on HN ]

There are no comments on this comment yet.