Mypy is an optional static type checker for Python that aims to combine the benefits of dynamic (or ”duck”) 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.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Casper Boone, Niels de Bruin, Arjan Langerak, Fabian Stelmach: DLTPy: Deep Learning Type Inference of Python Function Signatures using Natural Language Context (2019) arXiv