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...