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 bvrmn on Wednesday May 07, 2025 @07:00PM (#43921361)
It's not mypy issue. Comparing to TS python typehints (spec wise) are a joke. It's started as bolted on adhoc solution and evolved quite chaotically. For example [1]. TS doesn't require a special decorator (sic!) to make your custom classes to be picked up by type checkers.

Or how make a wrapper function with args and kwargs to pass through?

[1]: https://docs.python.org/3/library/typing.html#typing.datacla...

[ Parent | on HN ]
Re:Ty: A fast Python type checker and language server by maleldil on Thursday May 08, 2025 @01:39PM (#43928898)
The dataclass decorator isn't there to make the type checkers understand the class. Its main purpose is to automatically implement trivial methods like the constructor, equality, repr, etc. The type hints make this more convenient, but something similar already existed with attrs.
[ Parent | on HN ]
Re:Ty: A fast Python type checker and language server by bvrmn on Friday May 09, 2025 @02:50AM (#43934401)
It's literally stated in the PEP: https://peps.python.org/pep-0681/

Also: https://github.com/python/mypy/blob/501a07b45af8e44eda665e53...

Also did you know mypy ignores typing of class decorators? You simply can't return a different type other than type[thisclass].

[ Parent | on HN ]