Mypy 0.740がリリースされている、このバージョンでは多くの機能、バグ修正と更新ライブラリスタブを含んでいます。Mypyは、ダイナミック型及び利点のスタティック型合成型チェック、Python式と利便性と強力な型システムとコンパイル時(コンパイル時に)結合するように設計されたPythonの静的な型チェックの実験段階にありますヘビー級Pythonの仮想マシンの実行時のオーバーヘッドを使用せずにコンパイル時の型チェックや効率的な提供してネイティブコードにコンパイルされ、時間のかかります。更新内容は、以下のとおり
str.formatコールを型チェック
このバージョンでは、書式文字列の構文の規則(書式文字列の構文)と言語形式仕様ミニ型チェックに基づいてテキスト文字列形式のメソッドの呼び出し。問題はまた、いくつかのエラーの%の形式を修正し、エラーとバイト文字列の間の相互作用を可能にします。ここMypyは今、いくつかのエラーをキャプチャすることができます:
- 無効な書式文字列の構文
- 無効または変換型指定子
- 不正なパラメータまたはフィールド名
- デジタルフォーマットのタイプと一致していません
- インデックスまたは発現型エラー属性
改善されたcheck_untyped_defs
check_untyped_defsを使用する場合、このバージョンでは、タイプは正確オブジェクト、より良好な型指定のない検査方法を挙げることができます。さらに、禁止割り当て空集合(すなわち、データ= [])ほとんどの「型注釈が必要」エラーが型なし関数を引き起こしました。
厳密な処理コンテキストマネージャオブジェクト
Mypy 0.730は、コードがアクセス可能であることを主張文を使用して、後Mypyに影響を与える可能性のある隠された異常、との声明かどうかを判断するために__exit__タイプから復帰支援のテキストタイプの使用が増加しました。__exit__方法は、ブール論理式を返しますが、常にfalseを返したときに、より良い結果の問題の原因を突き止めるためには、Mypyはエラーを報告します。
その他の改善とバグ修正
- 優れたタイプを提供pathlib.Path.open
- 暗黙的な方法として__class_getitem__クラス、類似__init_subclass__
- att.s EQと秩序パラメータをサポート
- 崩壊Mypyデーモンの修理
- 修理および関連__getattr__ __call__クラッシュ
- インクリメンタルモードのクラッシュを修復
これらの更新だけでなく、他のコンテンツに加えて、自分のホームページを参照してください。