Perguntas com a marcação «mypy»


2
mypy: Por que "int" é um subtipo de "float"?
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 

1
Como tipos idênticos podem ser incompatíveis no 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, …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.