Servant. Типобезопасное API или безопасность на уровне типов


Докладчик: Мансур Зиятдинов

Друзья! 04 декабря, в пятницу, в 19:00 в уютном офисе Lambda, мы ждём всех, кто живёт, работает и развивается в функциональном мире. Всех, кто знает ответ на вопрос “Сколько монад в слове <лимонад>?”

Мы ждём также и тех, кто уже краем своего функционального уха слышал, что именно в этот день мы стартанём “Lambda-конкурс” по программированию и объявим его условия,покажем девайсы-призы (угадайте какие?) и наполним дворцы Вашей памяти функциями высшего порядка.

Вкуснейшие DataKinds, Type Families, Symbols, type operators, monad transformers и другие няшные возможности Haskell ждут Вас в многослойном пироге доклада Мансур Зиятдинов “Servant. Типобезопасное API или безопасность на уровне типов”

Спикер: Мансур Зиятдинов

Когда: 04 декабря (ПТ), 19:00

Где: Чистопольская 20/12, офис Lambda 2 этаж

1 декабря 2015