Kai Striega — Никаких змей на моей лестнице: побеждаем в разработке ПО с помощью типов

Что если целые категории ошибок не просто маловероятны, а невозможны? Используя игру «Змеи и лестницы» в качестве площадки и язык Rust в качестве руководства, Кай Стрига показывает, как система типов может исключить невозможные состояния — например, клетку 247 или победителя, который продолжает бросать кубики. Опыт работы с Rust или теория типов не требуются; эти идеи применимы к любому используемому вами языку. Докладчик: Кай Стрига, разработчик программного обеспечения, ориентированный на производительность, и бывший разработчик SciPy.