python: replace mypy by ty

[tcoratger]

🗒️ Description

🔗 Related Issues or PRs

Should close #60

✅ Checklist

• Ran tox checks to avoid unnecessary CI fails:

  uvx tox

• Considered adding appropriate tests for the changes.
• Considered updating the online docs in the ./docs/ directory.

[fselmo]

@tcoratger I added a cleanup commit and a nit commit directly after that replaces cast(Any, ...) logic with more explicit ignores and / or class definitions. These were only in the tests so I don't mind either way tbh. If you feel casting to Any is better or easier to read, feel free to drop that commit.

I noticed that the mypy pydantic plugin does a lot to help the code understand the type coercion that pydantic does. ty doesn't seem to have this and I'm not sure they ever plan on having it tbh. Things like Boolean(True), Boolean(False), etc instead of being able to use True, False and have pydantic convert to Boolean internally.

I'm not sure that this is necessarily a bad thing, it just makes things more verbose. For specifications, this seems totally reasonable so either way I am good with it - just making an observation here 😃.

It's amazing how fast ty is 🚀... this lgtm 👍🏼

[tcoratger]

@tcoratger I added a cleanup commit and a nit commit directly after that replaces cast(Any, ...) logic with more explicit ignores and / or class definitions. These were only in the tests so I don't mind either way tbh. If you feel casting to Any is better or easier to read, feel free to drop that commit.

I noticed that the mypy pydantic plugin does a lot to help the code understand the type coercion that pydantic does. ty doesn't seem to have this and I'm not sure they ever plan on having it tbh. Things like Boolean(True), Boolean(False), etc instead of being able to use True, False and have pydantic convert to Boolean internally.

I'm not sure that this is necessarily a bad thing, it just makes things more verbose. For specifications, this seems totally reasonable so either way I am good with it - just making an observation here 😃.

It's amazing how fast ty is 🚀... this lgtm 👍🏼

Thanks a lot for the review. For me, the fact that ty forces us to be more verbose isn't a problem; it actually brings us closer to more typed languages ​​and allows developers to realize what they're really doing, so that's pretty good.

Thanks for the commits, it looks very good now, I'll merge it now, that is much much faster than mypy :)