Programmierung mypy

2

Wie kann ich den Funktionstyp in meinen Typhinweisen angeben?

Ich möchte Typhinweise in meinem aktuellen Python 3.5-Projekt verwenden. Meine Funktion sollte eine Funktion als Parameter erhalten. Wie kann ich die Typfunktion in meinen Typhinweisen angeben? import typing def my_function(name:typing.AnyStr, func: typing.Function) -> None: # However, typing.Function does not exist. # How can I specify the type function for the …

135 python python-3.x python-3.5 type-hinting mypy

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], …

7 python mypy python-typing

Als «mypy» getaggte Fragen