タグ付けされた質問 「mypy」

現在のPython 3.5プロジェクトで型ヒントを使用したい。私の関数は関数をパラメーターとして受け取る必要があります。 型ヒントで型関数を指定するにはどうすればよいですか？ import typing def my_function(name:typing.AnyStr, func: typing.Function) -> None: # However, typing.Function does not exist. # How can I specify the type function for the parameter `func`? # do some processing pass PEP 483を確認しましたが、関数タイプのヒントが見つかりませんでした。

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

「mypy」が「int」を「float」のサブタイプと見なすのはなぜですか？サブタイプはスーパータイプのすべてのメソッドをサポートしますが、「float」には「int」がサポートしないメソッドがあります。 test.py： def f(x : float) -> bool: return x.is_integer() print(f(123.0)) print(f(123)) 静的型チェッカーは、「float」パラメーターに「int」引数を渡すことを受け入れます。 (3.8.1) myhost% mypy test.py Success: no issues found in 1 source file ただし、実行時にエラーがないことは保証されません。 (3.8.1) myhost% python test.py True Traceback (most recent call last): File "test.py", line 5, in <module> print(f(123)) File "test.py", line 2, in f return …

8 python  mypy 

次の例では： 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, XType], theta: ThetaType, …

7 python  mypy  python-typing