Preguntas etiquetadas con mypy

Quiero usar sugerencias de tipo en mi proyecto actual de Python 3.5. Mi función debería recibir una función como parámetro. ¿Cómo puedo especificar la función de tipo en mis sugerencias de tipo? import typing def my_function(name:typing.AnyStr, func: typing.Function) -> None: # However, typing.Function does not exist. # How can I …

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

¿Por qué "mypy" considera "int" como un subtipo de "flotante"? Un subtipo admitirá todos los métodos de su supertipo, pero "float" tiene métodos, que "int" no admite: test.py: def f(x : float) -> bool: return x.is_integer() print(f(123.0)) print(f(123)) El verificador de tipo estático acepta pasar un argumento "int" para un …

8 python  mypy 

Con el siguiente ejemplo: 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, …

7 python  mypy  python-typing