Да, вы правы, больше информации в https://docs.python.org/3/library/typing.html. Также, для определения типов вы можете использовать функцию type/1
и переписать пример как:
>>> def adding(a: int, b: int) -> int:
... if(type(a) is int and type(b) is int):
... return a + b
... else:
... print("Bad Arguments: Expected Integers")
...
>>> adding(1, 0.7)
Bad Arguments: Expected Integers
>>> adding(1, 7)
8
Аннотация типа ->
предоставил информацию о том - какого типа должна возвращать текущая функция. Аннотация типа :
предоставила информацию о том, какие типы аргументов ожидаются в текущей функции. Надеюсь, это будет полезно