Hacker News new | ask | show | jobs
by the_mitsuhiko 407 days ago
Not supporting plugins for a type checker to me is a plus. It’s quite frustrating that some Python projects only typecheck if you have plugins. That is a major source of frustration.
2 comments

python packages that do a lot of metaprot can only be properly type checked if you replicate that metaprogramming at the type level. e.g. if dataclasses were not part of the standard library they would need a plug-in to be handled correctly.
I mean that kind of code exists; things like attrs are too magical otherwise