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) も... 続きを読む

mypy - A New Python Variant with Dynamic and Static Typing

2012/09/23 43 users

The mypy language is an experimental Python variant that will support seamless dynamic and static typing.Performance Static typing can give you high, scalable and predictable efficiency, without the s... 続きを読む