LINUX.ORG.RU

Встреча FProg 2012-07 в Петербурге

 ,


0

3

Для тех кто в танке^W^W не читает лямбда-планету

В четверг, 12 июля 2012 года в 19:00 в петербургском офисе компании Яндекс при поддержке компании JetBrains и журнала «Практика функционального программирования» пройдёт очередная встреча FProg.

бла-бла-бла

Обязательная запись на встречу для доступа в офис осуществляется на странице встречи через Twitter-аккаунт.

Темы докладов:

  • Евгений Котельников. Зависимые типы в Haskell
  • Ян Малаховски. Введение в Agda
  • Андрей Власовских. Команда spb-archlinux на ICFP Contest 2009
★★★★★

Не знаешь, после будут выложено видео докладов? К сожалению, не могу попасть.

SAA ★★★ ()

На выходных никак? Я бы из дс приезжал. :(

tensai_cirno ★★★★★ ()

Обязательная запись … через Twitter-аккаунт

Да они совсем оборзели!

kim-roader ★★ ()
Ответ на: комментарий от ymn

А чем это — «Википедия закрывается на сутки» — не оффтопик? И ведь даже не мини-новость!

buddhist ★★★★★ ()

Agda уже мейнстрим, как я погляжу :)

jtootf ★★★★★ ()

и журнала «Практика функционального программирования»

кстати, кто-нибудь в курсе, он еще жив? Последний выпуск больше года назад был

theNamelessOne ★★★★★ ()
Ответ на: комментарий от theNamelessOne

не видел сообщений о его закрытии.

Последний выпуск больше года назад был

а ты написал статью в fprog? ;)

ymn ★★★★★ ()

Увы, не смогу. А то интересно, чего можно нарассказать про агду за полчаса?

Miguel ★★★★★ ()

когда в Киеве встречу проведут?

kyz ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.