Python と型ヒント (Type Hints) - forest book

先日、Python の静的型チェッカーとして mypy を紹介しました。 mypy で静的型付け Python プログラミング - forest book 私には難しくてまとめきれないため、Guido が参照している漸進的型付け (Gradual Typing) も含め、また別の機会に、、、。 とか言っているうちに1ヶ月ほど経ってしまいました。 そうこうしているうちに PEP のドラフトも出てきたので区切りとしてまとめておきます。一通り調べたことを基にして書いていますが、私の誤解や勘違いもあるでしょうから怪しいところがあったら調べ直してみてください。もちろんツッコミも大歓迎です。 型ヒント (Type Hints) を導入するという提案 PEP 483 - The Theory of Type Hints | Python.org PEP 484 - Type Hints | Python

[t2y-1979]

書いたー

[boxheadroom]

むしろ、なぜpy3の型アノテーションをタプルでなく辞書になったのか気になる　（嘘

[Dryad]

成功するか五分五分な気もするけど、理論的裏付けに基づいて作業を進める姿勢は良い感じ(´・ω・`)

[nabetama]

Armin Ronacher が言及してたのとはまた少し違って面白い

[mather314]

後で読む

[raimon49]

object型とAny型は異なる。