Добрый день,
(прошу прощения за оффтоп). Цитата с http://community.livejournal.com/ru_declarative/81106.html :
От Сергея Зефирова (thesz) поступило предложение провести очередную встречу любителей функционального программирования в Москве [1]. Сам Сергей хочет рассказать, почему ему интересны системы типов [2]. Также ожидается доклад Николая Ковалёва (nivanych) о конструктивных категориях [3].
Послушать и позадавать вопросы можно будет 24-го января (это суббота) начиная с 17 часов. Место примерно такое же как и в прошлый раз [4] (это недалеко от Гоголевского бульвара).
Пожелания по поводу времени, даты, формата проведения, тем для обсуждения и т.п. -- велкам!
[1] http://thesz.livejournal.com/908405.html
[2] http://thesz.livejournal.com/911679.html
[3] http://thesz.livejournal.com/911679.html?thread=7010111#t7010111