Microsoft、Pythonの静的型チェック機能を提供する「VS Code」プラグイン「Pyright」を公開：mypyなどより5倍以上高速 - ＠IT

2019/03/26 100 users pyright MITライセンス Python パク 既存

Microsoftは2019年3月21日（米国時間）、Pythonの静的型チェック機能を提供する「Visual Studio Code」（VS Code）プラグイン「Pyright 1.0.0」をオープンソースのMITライセンスで公開した。同23日には多数のバグを修正した「Pyright 1.0.1」を公開している。 Pyrightは、「mypy」のような既存のPython型チェッカに存在... 続きを読む

漸進的型付け言語の時代に必要なもの - mizchi's blog

2018/07/05 417 users mizchi's blog 言語 時代 TypeScript

最近では、Gradual Typing、漸進的型付けと呼ばれる型システムを備えた言語(拡張)が増えてきています。 次のようなもの JavaScript: TypeScript / Flowtype Python: mypy / pyre-checker PHP: hack / php-storm flow/pyre-checker/hack と facebook 製が多いですね。 この記事は、それらを使う動機と運用について書きま... 続きを読む

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

2015/01/23 64 users Python Type Hints forest book

2015-01-23 Python と型ヒント (Type Hints) type system python3 translate 先日、Python の静的型チェッカーとして mypy を紹介しました。 mypy で静的型付け Python プログラミング - forest book 私には難しくてまとめきれないため、Guido が参照している漸進的型付け (Gradual Typing) も... 続きを読む