Type hinting - это аннотация типов для простого чтения кода. Сверху приведён пример type hinting'a, там мы присваиваем двум аргументам тип данных "int" через двоеточие, стрелка "->" указывает, что функция add() вернёт int. Для чего нужен type hinting? С type hinting'ом намного легче понять код и делать рефакторинг в будущем. Раньше, когда на Python писали в основном небольшие скрипты, это не было такой уж острой проблемой, потому что всю программу за разумный промежуток времени можно было охватить взглядом и понять. В последнее время язык стал значительно популярнее. Нужно отметить, что type hinting — это именно возможность, а не обязанность. У программиста есть выбор — добавлять информацию о типах или нет. Чтобы узнать больше — читайте документацию здесь.