mypy - Optional Static Typing for Python

Compile-time type checking Static typing makes it easier to find bugs with less debugging. Easier maintenance Type declarations act as machine-checked documentation. Static typing makes your code easier to understand and easier to modify without introducing bugs. Grow your programs from dynamic to static typing You can develop programs with dynamic typing and add static typing after your code has

[schwer_metall]

静的型付けでPythonが書けるっぽい。型宣言したい。

[masterq]

Python 3.5から漸進的型付けというのを使えるらしい。pythonコマンドで実行できるスクリプトをmypyコマンドで型検査する

[mizchi]

Pythonで静的型付けするようにしたフォーク

[soh3914]

pythonが静的型付けで書けるよるになる感じ。def fib(n: int) -> None: 的な。

[Malan]

mypy - A New Python Variant with Dynamic and Static Typing:

[fcicq]

no releases at the moment

[ats2019]

The mypy programming language is an experimental Python variant that aims to combine the benefits of dynamic (or "duck") typing and static typing.