Pyrightとみる型周りのPEP仕様

やったこと

• Pyrightのドキュメントに記載のPEPをまとめる

Pyright Documentation

一覧

PEP番号	説明
PEP483	Pythonの型ヒントに関するType Theory
PEP484	型ヒント
PEP526	変数アノテーション
PEP561	型情報の配布とパッケージ化
PEP570	Positional-onlyパラメータ
PEP586	Literal型
PEP591	final修飾子
PEP612	パラメータ付きデコレータ
PEP613	型の変換
PEP647	型ガード
PEP660	pyproject.tomlベースのビルドのための編集可能なインストール
PEP681	型クラス

PEP483

• PythonはGradual typingであることが明記されている。

PEP484

• 型ヒント
• Python will remain a dynamically typed language, and the authors have no desire to ever make type hints mandatory, even by convention

感想

• Genericsあたりが入ってない。