Тип аннотирует встроенную оформленную оберщенную функцию ⇐ Python

[Anonymous]

Для контекста я использую префект , который представляет собой механизм оркестровки рабочего процесса, который использует декорирование функций для функций тега для использования. Их подход очень похож на DASK в создании рабочих потоков. о прицеле, скажем, из внешнего модуля, я могу сделать что -то вроде: < /p>

Код: Выделить всё

from prefect import task, Task
from some_module import foo

# task is the decorate, and returns an instance of Task

task_foo = task(foo)

@task
def task_bar(a: int, b: float) -> float:
return a * b

В случае задачи_BAR моя среда в vscode может разрешить параметры функции на (a: int, b: float) -> float . /p>
В случае задания_foo не: (...) -> none .
Способ применения некоторого набора typling.paramspec , чтобы надлежащим образом предоставить тип вывод?

Код: Выделить всё

import typing

P = typing.ParamSpec('P', bound=foo)
task_foo: Task[P] = task(foo)

Я понимаю, что paramspec (..., bound = foo) здесь не ответ, но я надеюсь, что он выделяет намерение здесь.
Я не смог заметить правильные вещи здесь. Я обнаружил:
https://github.com/python/typing/issues/1027
, что очень близко к проблеме i я описываю. Играть с Paramspec я падаю немного коротко. Хотя это меня не удивляет. Делать что -то столь же простое, как: < /p>

Код: Выделить всё

from typing import ParamSpec, TypeVar
from prefect import task, Task
from some_module import foo

P = ParamSpec('P')
R = TypeVar('R')

task_foo: Task[P,R] = task(foo)
< /code>
ведет себя именно я хочу. Но я остался очень смущенным, откуда избивается информация. В классе задачи 

есть аналогичные параметры типа p r параметры, прикрепленные к его методам. Это просто случай, когда типы «возвращаются» и захватывают в типовые переменные p и r?
Надеюсь, это имеет смысл!

Подробнее здесь: https://stackoverflow.com/questions/793 ... d-function