Здравствуйте, можно ли как-то через аннотация типов данных провести валидацию строки?
Аннотации типов, как и тайп-хинты/тайп-алиасы/тайпинги изначально были созданы чтобы просто ограничить тип входных или уже заведомо известных данных(когда мы условно знаем, что на вход подаётся строка или лист, а на выходе какой-нибудь None и тд..) не больше, не меньше. Валидировать вот уже это другой вопрос, можно через какие-нибудь условные ограничения или регудярки, а входные или уже известные данные просто оборачивать в нужный тебе тайпинг и проверять их тип.