Как создать тип из другого типа и заставить работать проверку mypy ⇐ Python

[Anonymous]

Я работаю с системой подсказок типов Python и пытаюсь создать псевдоним типа для функции, похожий на существующий тип функции, но с одним дополнительным аргументом. Вот что я пытался:

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

from typing import Callable

# Original function type
RK_function = Callable[[float, int], int]

# Attempted new function type with an additional int argument
RK_functionBIS = Callable[[*RK_function.__args__[:-1], int], int]

Я ожидал, что RK_functionBIS будет представлять Callable[[float, int, int], int], что и происходит при непосредственном запуске без проверки с помощью mypy. Однако, когда я запускаю mypy для проверки типа, я получаю следующую ошибку:
text

ошибка: недопустимый псевдоним типа: выражение не является допустимым типом.
[действительный тип] Вопрос


Подробнее здесь: https://stackoverflow.com/questions/792 ... cking-work