mypy Playground をリリースしました

Python の静的型チェッカーである mypy を Web ブラウザから簡単に試せる mypy Playground をリリースしました.mypy が利用できる Web サービスとしては(おそらく)はじめてのものになります.

“mypy Playground をリリースしました” の続きを読む

PyPI の統計情報を BigQuery で集計する

Python のパッケージインデックス PyPI における,パッケージのダウンロード数等のデータは BigQuery で公開されています.このデータを利用するとパッケージのダウンロード数を集計したり,よく使われている処理系のバージョンなどを簡単に知ることが出来ます.

“PyPI の統計情報を BigQuery で集計する” の続きを読む

mypy の reveal_type で型情報をデバッグする

Python の静的型検査器の mypy を使うと,型ヒントを記述したプログラムを簡単に静的に型検査を行うことが出来ます.しかし,予想外のところで型エラーが出たときなど,なぜそのようなエラーが出たのかわからないときもあります.

reveal_type を使うと,プログラム中の式が mypy によってどのような型がつけられているかを簡単にデバッグ出力することが出来ます.これを利用することで,プログラマーが書いた型ヒントが間違っているのか,typeshed のスタブファイルが間違っているのか,はたまた mypy 自体のバグなのかが少し分かりやすくなります.

“mypy の reveal_type で型情報をデバッグする” の続きを読む

WSGI ミドルウェアとして使えるラインプロファイラを作った話

この記事は CAMPHOR- Advent Calendar 2016 の1日目の記事です.

Python の WSGI ミドルウェアとして使えるラインプロファイラ wsgi_lineprof を作成しました. wsgi_lineprof は Django や Pyramid, Flask, Bottle などの WSGI 互換のアプリケーションやフレームワークと組み合わせて利用できるようになっています.

“WSGI ミドルウェアとして使えるラインプロファイラを作った話” の続きを読む

PyCon JP 2016 で型ヒントについて発表しました

2016/9/20〜24 に開催された PyCon JP 2016 で「型ヒントについて考えよう!」というタイトルで発表しました. 発表資料と簡単な感想をまとめておきます.

“PyCon JP 2016 で型ヒントについて発表しました” の続きを読む