python-mypy
Static type checker for Python
Mypy is an optional static type checker for Python that aims to combine the benefits of dynamic typing and static typing. Mypy combines the expressive power and convenience of Python with a powerful type system and compile-time type checking. Mypy type checks standard Python programs; run them using any Python VM with basically no runtime overhead.
- Versions: 1.16.1
- Website: https://www.mypy-lang.org/
- Licenses: Expat · Python Software Foundation License
- Package source: gnu/packages/python-check.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of python-mypy as follows:
guix install python-mypy
Or install a particular version:
guix install python-mypy@1.16.1
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of python-mypy about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/python-mypy'><img src='https://packages.guix.gnu.org/packages/python-mypy/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/python-mypy)
Example Org:
[[https://packages.guix.gnu.org/packages/python-mypy][https://packages.guix.gnu.org/packages/python-mypy/badges/latest-version.svg]]