В четверг, 12 июля 2012 года в 19:00 в петербургском офисе компании Яндекс при поддержке компании JetBrains и журнала «Практика функционального программирования» пройдёт очередная встреча FProg. Встреча состоится накануне программистского конкурса ICFP Contest 2012.
Обязательная запись на встречу для доступа в офис осуществляется на странице встречи через Twitter-аккаунт.
Темы докладов:
- Евгений Котельников. Зависимые типы в Haskell (видео, слайды)
- Ян Малаховски. Введение в Agda (видео, слайды)
- Андрей Власовских. Команда spb-archlinux на ICFP Contest 2009 (видео, слайды)
О встречах. Встречи по функциональному программированию FProg в Петербурге являются логическим продолжением встреч SPbHUG, петербургской группы пользователей Haskell. На встречах представляются доклады и проходят обсуждения по различным темам теории и практики функционального программирования.
