Можно ли правильно ввести подсказку для функции filterM в Python? ⇐ Python

[Anonymous]

В настоящее время я самостоятельно изучаю функциональное программирование, пишу библиотеку монад на Python. И у меня проблемы с подсказками типов. Так, например, в Haskell есть функция filterM с сигнатурой

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

filterM :: (a -> m Bool) -> [a] -> m [a]

В идеале, если Python может сопоставлять «подтипы» TypeVar по образцу, помещая после него скобку, то я смогу сделать это примерно так:

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

T = TypeVar('T')
M = TypeVar('M', bound=Monad)
def filterM(filter_func: Callable[[T], M[bool]], iterable: list[T]) -> M[list[T]]

Но похоже, что приведенный выше синтаксис не будет работать. На самом деле, похоже, что вообще невозможно «извлечь» тот тип монады, который я передаю. Скажем, я передаю Callable[[int], Maybe[bool]], и лучшее, чего я достиг, — это взять весь Maybe[bool] как одну TypeVar. Тогда невозможно преобразовать его в правильный тип вывода Maybe[list[int]].

Подробнее здесь: https://stackoverflow.com/questions/717 ... -in-python