mypy：なぜ「int」は「float」のサブタイプですか？

「mypy」が「int」を「float」のサブタイプと見なすのはなぜですか？サブタイプはスーパータイプのすべてのメソッドをサポートしますが、「float」には「int」がサポートしないメソッドがあります。

test.py：

def f(x : float) -> bool:
    return x.is_integer()

print(f(123.0))
print(f(123))

静的型チェッカーは、「float」パラメーターに「int」引数を渡すことを受け入れます。

(3.8.1) myhost% mypy test.py
Success: no issues found in 1 source file

ただし、実行時にエラーがないことは保証されません。

(3.8.1) myhost% python test.py
True
Traceback (most recent call last):
  File "test.py", line 5, in <module>
    print(f(123))
  File "test.py", line 2, in f
    return x.is_integer()
AttributeError: 'int' object has no attribute 'is_integer'

「float」には「int」にはない追加のメソッドがあるためです。

「なぜ「mypy」は「int」を「float」のサブタイプと見なすのですか？」

これまでのところ、実用性はここで純粋さを上回ると考えられてきたからです。これは、型付けがintとfloatを含み、算術演算にのみ有効であるスカラー型を定義することを提案できないと言っているのではありません。

int / intは3.0で変更され、float（int / int）== float（int）/ float（int）となるようになりました。

型チェックの合格は、実行時エラーがないことを意味しないことにも注意してください。ゼロによる除算とオーバーフローは依然として可能です。

通りの@ juanpa.arrivillagaが指摘し、説明が上であるhttps://mypy.readthedocs.io/en/latest/duck_type_compatibility.html。

サブタイプはそのスーパータイプのすべてのメソッドをサポートしますが、「float」には「int」がサポートしないメソッドがあります

intはのサブタイプではないfloatため、のメソッドをサポートする必要はありませんfloat。

例のように本当に必要な場合を除いて、整数値を渡してもエラーが発生することはないので、このメカニズムは優れています。存在しないメソッドを明示的に使用しようとしました。一般的な状況では、数値の算術演算のみを行うため、問題が発生することはほとんどなく、.0書いたとおりに追加することでいつでも問題を回避できます。

のint特殊なケースであると想定することは、ほとんどの言語で一般的な動作です。floatたとえば、C ++ intからfloat暗黙的な変換への移行を検討してください。