mypy Playground をリリースしました

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

mypy  Playground とは

mypy Playground は Python の静的型チェッカーである mypy を Web ブラウザから簡単に試せるサービスです.Go や Rust といった言語が提供している Playground や,様々なプログラミング言語を利用できる Wandbox に近いサービスです.ただし,mypy Playground ではプログラムを実行することは出来ません,あくまで型チェックをするだけです.

使い方

型チェックをしたいソースコードを入力して,”Run” ボタンをクリックすると結果が表示されます.チェック対象のソースコードの Python のバージョンを指定したり,”Options” から mypy のオプションを設定することが出来ます.

標準ライブラリや,サードパーティーのライブラリについては typeshed に含まれているスタブファイルの情報を使用します.

仕組み

mypy Playground ではユーザーが書いたコードを,Docker を用いて作ったサンドボックスの中で型チェックを行っています.ソースコードは GitHub で公開していますので,興味のある方はそちらもご覧下さい.

最後に

mypy Playground でぜひ Python の型ヒントの世界を体験してみて下さい.

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です