search

CQCL / guppylang

Pythonic quantum-classical programming language
Apache License 2.0
17 stars 2 forks source link

Automatically annotate guppy definitions with `@no_type_check` #277

Open ss2165 opened 5 days ago

ss2165 commented 5 days ago

So mypy knows to ignore it https://docs.python.org/3/library/typing.html#typing.no_type_check

mark-koch commented 4 days ago

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