python-ultrastrict

echo This script checks for compliance with ultrastrict mode, a version of python I made up, that's like mypy --strict but stricter. The general idea is to disallow all features that let you cheat the type system, so that the types are entirely statically verified. Note that this script does not actually have a return code, and also that it's probably pretty easy to cheat it or confuse because it just uses regex. Possibly we should also check for TypeGuards but I don't know enough about them. It's also possible I should just ban the use of Any entirely.

# Do the classes of check from fastest (maybe) to slowest (maybe)
rg "\bcast\s*\("

rg "#\s*type:\s*ignore\b"
rg "@no_type_check\b"
rg "@no_type_check_decorator\b"
rg "#\s*noqa\b"

ruff check --select F

mypy --strict .