Хочу заняться сильным колдунством (фп) с тайпингом mypy даёт такую ошибку: tc.py:46:

Question

Хочу заняться сильным колдунством (фп) с тайпингом mypy даёт такую ошибку: tc.py:46:

error: Argument 1 to "recursive" has incompatible type "Callable[[Callable[[VarArg(Any)], None], int, Any], Any]"; expected "Callable[[Callable[[VarArg(Any)], None], VarArg(Any)], Optional[Any]]"

Почему он считает эти типы несовместимыми?

#backend #programming #python #russian

0

18.09.2021

6 ответов

14 просмотров

Vft Dan 💉‍💉 Автор вопроса

https://dpaste.org/3CXt

0

18.09.2021

decorator-factory

Vft Dan 💉‍💉
https://dpaste.org/3CXt

не знаком с mypy_extensions, но в официальном бекпорте typing_extensions уже есть ParamSpec

0

18.09.2021

decorator-factory

decorator-factory
не знаком с mypy_extensions, но в официальном бекп...

Если VAFunction, VAVoidFunction, RecursiveWrapable — дженерик тайп алиасы, разве им не нужно подставлять параметры (например, в виде TypeVar'а)? GenericAlias — это то же самое, что GenericAlias[Any].

0

18.09.2021

Vft Dan 💉‍💉 Автор вопроса

decorator-factory
не знаком с mypy_extensions, но в официальном бекп...

> forwarding the parameter types of one callable over to another callable, making it difficult to annotate function decorators Звучит как то, что нужно. Спасибо!

0

18.09.2021

Vft Dan 💉‍💉 Автор вопроса

Vft Dan 💉‍💉
> forwarding the parameter types of one callable o...

Вроде что надо. Жаль, в mypy ещё не реализовано

0

18.09.2021

decorator-factory · Accepted Answer

decorator-factory

Покажи код

0

18.09.2021

170 похожих чатов

Хочу заняться сильным колдунством (фп) с тайпингом mypy даёт такую ошибку: tc.py:46:

6 ответов

Похожие вопросы