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

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