guppylang
guppylang copied to clipboard
Find a way around python type checkers complaining about guppy
So mypy knows to ignore it https://docs.python.org/3/library/typing.html#typing.no_type_check
The thing we want is https://docs.python.org/3/library/typing.html#typing.no_type_check_decorator to annotate @guppy as always being no_type_check.
Unfortunalty, no Python type checker has implemented it and it's going to be deprecated in Python 3.13: https://github.com/python/cpython/issues/106309
Relatedly, when we call tuples of functions in guppy code, mypy complains that tuples aren't callable 😅