Perguntas com a marcação «mypy»

Eu quero usar dicas de tipo no meu projeto atual do Python 3.5. Minha função deve receber uma função como parâmetro. Como posso especificar a função de tipo nas minhas dicas de tipo? import typing def my_function(name:typing.AnyStr, func: typing.Function) -> None: # However, typing.Function does not exist. # How can …

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

Por que "mypy" considera "int" como um subtipo de "float"? Um subtipo deve suportar todos os métodos de seu supertipo, mas "float" possui métodos que "int" não suportam: test.py: def f(x : float) -> bool: return x.is_integer() print(f(123.0)) print(f(123)) O verificador de tipo estático aceita passar um argumento "int" para …

8 python  mypy 

Com o seguinte exemplo: 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