Если в коротко, то аннотации типов в питоне - это синтаксические конструкции, которые не влияют на выполнение программы, но помогают в работе разным линтерам, IDE, статическим анализаторам и прочим вспомогательным программам.

Ещё существует момент, когда тип указывается при объявлении переменной, что сразу расставляет точки над и, и уже присваивание данных другого типа повлечет ошибку.

Приведение типов, например, если пользователь вводит число в консоли, то в программу оно попадает в виде строки, поэтому необходима операция приведения int().