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

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

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