mypy で静的型付け Python プログラミング - forest book

Pythonへの型アノテーション導入を目指すGuido van Rossum氏 mypy の型アノテーションの構文を Python に取り込もうとメーリングリストで提案したニュースが話題になりました。今夏に話題になったニュースを今冬にフォローするという季節外れ感ですが、ずっと興味はあって「あとで読む」状態になっていたのを調べてみました。 基本的には mypy のドキュメントから自分の興味のあるところをかいつまんで説明しています。分かりにくいところがあれば原文を参照してください。 Welcome to Mypy documentation! mypy とは mypy は Python の静的型チェッカー (static type checker) です。wikipedia:静的コード解析 や wikipedia:en:Lint (software) ツールの一種だと説明されています。 Pyt

[boxheadroom]

どうせなら　C++みたく f(x:int) とf(x:int,y:int) f(x:float) などをパターンマッチして切り替え（オーバーライド？）する機構もほしいな。　f(0<x<1) f(x>=1) なんかも。IF文不要でテストのカバレッジが楽になるかも（要出典

[rokujyouhitoma]

mypy, Python3のfunctionアノテーションに関する大変よいまとめ。

[Kesin]

mypyって明示的に書いた型情報だけじゃなくて型推論もしてくれるのか

[raimon49]

Swiftみたいだ。

[oinume]

めっちゃ詳しい