News for hackers. Stuff that matters.
Re:Python’s “type hints” are a bit of a disappointment to me by ossopite on Friday April 22, 2022 @08:51AM (#31120995)
pyright is a command line program https://github.com/microsoft/pyright

in my experience it's a far better type checker than mypy, which tends to silently not check things without you ever realising

Re:Python’s “type hints” are a bit of a disappointment to me by the_af on Friday April 22, 2022 @09:29AM (#31121317)
Thanks for the suggestion! I didn't know this checker existed. Will definitely try it.