Als «mypy» getaggte Fragen


2
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 akzeptiert die Übergabe eines "int" -Arguments für einen "float" -Parameter: (3.8.1) myhost% …
8 python  mypy 

1
Wie können identische Typen in MyPy nicht kompatibel sein?
Mit folgendem Beispiel: from typing import Callable, Generic, Type, TypeVar ThetaType = TypeVar('ThetaType', bound=int) XType = TypeVar('XType', bound=int) class IteratedFunction(Generic[ThetaType, XType]): def find_fixed_point(self, theta: ThetaType, x_init: XType) -> XType: return x_init def combinator( iterated_function_cls: Type[ IteratedFunction[ThetaType, XType]]) -> Callable[ [IteratedFunction[ThetaType, XType]], XType]: old_find_fixed_point = iterated_function_cls.find_fixed_point def new_find_fixed_point( iterated_function: IteratedFunction[ThetaType, XType], …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.