Типы появились в Python (а также PHP и JS) совсем недавно, вызвав противоречивые чувства у разработчиков. Многие считают, что типы «превращают Python в C++» и приносят больше вреда, чем пользы. Этот доклад про одну из идей, лежащую в основе типов, про борьбу с ошибками в нашем коде. Используя Python и JavaScript я покажу, как типы были добавлены в «динамические» языки, расскажу про то, что делает язык «динамическим» и какую пользу нам приносит «gradual typing».