Зависимости типа параметра функции Python ⇐ Python

[Anonymous]

Вот функция, которая обеспечивает зависимость между типами своих аргументов:

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

def example(a: Optional[int], b: Optional[int]) -> int:
if a is None and b is None:
raise TypeError("One of a and b can be None, but not both.")
return 42

• Есть ли способ выразить эту зависимость в синтаксисе аннотаций типов Python вместо или в дополнение к проверке во время выполнения?
  < li>Возможно ли это на других языках программирования?
• Есть ли у этой концепции зависимостей название и связанная с ней теория, которую можно изучить?

Подробнее здесь: https://stackoverflow.com/questions/592 ... pendencies