Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
30 марта в 18:00 в лектории компании BIOCAD состоится открытая лекция Виталия Брагилевского (Мехмат ЮФУ, Ростов-на-Дону).
Формирование принципов функционального программирования и разработка функциональных языков программирования всегда велись бок о бок с научными исследованиями в области информатики, причём далеко не всегда можно было отделить одно от другого. Функциональные языки могут быть как предметом исследования, так и его результатом, а иногда могут оказываться и инструментом. В этой лекции мы посмотрим на примеры того, как именно это всё происходило: как теоретические результаты способствовали развитию функционального программирования и как программистские приёмы превращались в теоретические методы. Мы начнём с лямбда-исчисления и лямбда-определимых функций Алонсо Чёрча, продолжим созданием Лиспа Джоном Маккарти и идеей Питера Ландина об описании языков программирования с помощью лямбда-исчисления, обсудим исследования в области формальной семантики и верификации программного обеспечения, вспомним Джона Бэкуса и его речь на вручении премии Тьюринга, поговорим о типизации и выводе типов, языке ML и его наследниках, теории типов Мартина-Лёфа, а также о том, как всё это привело к созданию языка Haskell и ведёт нас ещё дальше.