Python type checking with ALE?

[mscheper]

I'm an old hand at Python but not yet regularly in the habit of using type hints. I miss stronger typing from other languages, so I want to make best use of what Python offers, and thus want vim to prod me to.

What's ALE's support for Python type checking like, in 2025? Which type checking tools work best, and how can I set them up? I have a slight preference for Pytype (mainly because I've had a lot of bad experience with Microsoft products, so Pyright doesn't seem 'right'), but I'm happy to run with whatever ALE has good support for… assuming the 'type checking isn't linting' argument hasn't prevented it from having any. FWIW, I'm also switching from Black/flake8/pylint to Ruff, which seems a rewarding summer holiday project so far.

I apologise if this is answered in the README or other documentation somewhere. I did search, but didn't find anything recent or seemingly ex officio. I'd appreciate links to docs on the subject, if they exist.

Thanks.