Als «mypy» getaggte Fragen

8
mypy: Warum ist "int" ein Subtyp von "float"?

Warum betrachtet "mypy" "int" als Subtyp von "float"? Ein Subtyp soll alle Methoden seines Supertyps unterstützen, aber "float" hat Methoden, die "int" nicht unterstützt: test.py: def f(x : float) -> bool: return x.is_integer() print(f(123.0)) print(f(123)) Die statische Typprüfung...