Typling.union позволяет создавать Callables в качестве аргументов типа ⇐ Python

[Anonymous]

Я обеспокоен тем, почему Callables являются достоверными аргументами типа, чтобы перейти к Union [] (а также некоторые другие типики ._genericalias объекты)? Какова предполагаемая цель этого? < /P>
>>> def foo(): pass
...
>>> Union[foo, print]
typing.Union[foo, ]

После некоторого дальнейшего расследования я обнаружил, что по какой -то причине код в Python 3.7.0 stdlib не соответствует одному, расположенному при печати github Repositor. Но типинг модуль, который использует моя текущая установка Python, позволяет явно:
def _type_check(arg, msg, is_argument=True):

if not callable(arg):
raise TypeError(f"{msg} Got {arg!r:.100}.")
return arg


Подробнее здесь: https://stackoverflow.com/questions/590 ... -arguments