Открытые лекции для школьников и студентов про типизацию в языках программирования

Приглашаем школьников и студентов, интересующихся программированием, на цикл лекций, посвященных различным системам типизации. Лекции проводятся в рамках открытого лектория летней школы «Слон» . Первые две лекции пройдут уже в эти выходные: 21 и 22 мая, в 18:00 в здании НБИК факультета МФТИ по адресу г.Москва , ул.Максимова, д.4 .
Типы данных — тема, которой в учебном курсе уделяется непростительно мало времени (иногда и вовсе минут 10 на первом занятии), и рассматривается она обычно применительно к конкретному языку программирования. Цель нашего цикла лекций — показать, какое значение система типов имеет для программирования вообще, а не для конкретного языка. Какие непростые решения приходится принимать разработчикам языков программирования в погоне за удобством и надежностью языка. Какие нестандартные типы данных бывают и как использовать их в своих программах с наибольшей пользой. И наконец, какая математика скрывается за системами типов.
На первой лекции (21 мая) мы расскажем чем отличаются статическая типизация от динамической, а сильная от слабой. Обсудим языки, в которых типизации нет вообще. Покажем, почему сложно корректно определить даже простейшие арифметические и логические операции.
Читать дальше →