Подсказки типа Python для параметра типа Callable, который можно вызвать с типом кортежа другого параметра. ⇐ Python

[Anonymous]

Рассмотрим такую ​​функцию, как

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

def f(callback: SOME_TYPE_HERE, *arguments: Any):

В качестве примера я хочу вызвать f как f(lambda s, i: len(s) + i, "TEXT", 17) и внутри f в какой-то момент будут использоваться параметры, например:

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

  callback(*arguments)

Как должен выглядеть SOME_TYPE_HINT, чтобы убедиться, что параметр обратного вызова действительно может быть применен к предоставленному списку аргументов? Или же, как сформулировать f по-другому, чтобы получить тот же эффект: обратный вызов и список элементов, чтобы обратный вызов имел тип элементов списка/кортежа в качестве типов параметров?


Подробнее здесь: https://stackoverflow.com/questions/797 ... alled-with