Зачем Python типы, если он их не проверяет

Аннотации типов Python не проверяются никогда — интерпретатору на них плевать. Тогда зачем их пишут во всех серьёзных проектах? Разбираем: откуда типы взялись в динамическом языке, что делает mypy, почему это переносит ошибку из прода в редактор — и почему скорости они не дают ни на процент. 0:00 Типы, которые никто не проверил 0:21 О чём ролик 0:30 Доказательство: рантайму плевать 0:57 До 2014: типы в комментариях 1:11 PEP 484 и решение Гвидо 1:35 mypy ловит баг до запуска 1:50 Без mypy: падение в проде 2:15 Польза 2: автодополнение 2:31 Польза 3: рефакторинг 2:45 Сколько скорости дают типы 3:05 Минимум синтаксиса на практике 3:32 Когда типы не нужны 3:49 Итог Серия: GIL https://youtu.be/hXP8ZLnpLKI · asyncio https://youtu.be/oVY2G5nLjQc · память https://youtu.be/tJbkCqoYESM · dict https://youtu.be/FCnjorCzy3A · скорость https://youtu.be/BgUVyW56irw · import https://youtu.be/zVy_e-3jE6Y #python #типизация #mypy #питон #программирование