MskHUG 2
Добрый день.
От Сергея Зефирова (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
[4] http://community.livejournal.com/ru_lambda/69463.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
[4] http://community.livejournal.com/ru_lambda/69463.html