Câu hỏi được gắn thẻ «mypy»

Tôi muốn sử dụng gợi ý kiểu trong dự án Python 3.5 hiện tại của mình. Hàm của tôi sẽ nhận một hàm dưới dạng tham số. Làm cách nào để chỉ định hàm kiểu trong gợi ý kiểu của tôi? import typing def my_function(name:typing.AnyStr, func: typing.Function) -> None: # …

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

Tại sao "mypy" coi "int" là một kiểu con của "float"? Một kiểu con sẽ hỗ trợ tất cả các phương thức của siêu kiểu của nó, nhưng "float" có các phương thức mà "int" không hỗ trợ: kiểm tra: def f(x : float) -> bool: return x.is_integer() print(f(123.0)) print(f(123)) …

8 python  mypy 

Với ví dụ sau: 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