Python の静的型チェッカーである mypy を Web ブラウザから簡単に試せる mypy Playground をリリースしました.mypy が利用できる Web サービスとしては(おそらく)はじめてのものになります.
タグ: mypy
mypy の reveal_type で型情報をデバッグする
Python の静的型検査器の mypy を使うと,型ヒントを記述したプログラムを簡単に静的に型検査を行うことが出来ます.しかし,予想外のところで型エラーが出たときなど,なぜそのようなエラーが出たのかわからないときもあります.
reveal_type
を使うと,プログラム中の式が mypy によってどのような型がつけられているかを簡単にデバッグ出力することが出来ます.これを利用することで,プログラマーが書いた型ヒントが間違っているのか,typeshed のスタブファイルが間違っているのか,はたまた mypy 自体のバグなのかが少し分かりやすくなります.
PyCon JP 2016 で型ヒントについて発表しました
2016/9/20〜24 に開催された PyCon JP 2016 で「型ヒントについて考えよう!」というタイトルで発表しました. 発表資料と簡単な感想をまとめておきます.
Python 2 と型ヒント (Type Hints)
この記事では PEP 484 — Type Hints の更新によって提案されている Python 2 における型ヒントについての情報をまとめます.