Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
"Applicative programming with effects" Conor McBride, Ross Paterson
3-го апреля пройдет очередная встреча Papers We Love в Санкт-Петербурге.
В этот раз выступит Антон Трунов, участник проекта по формальной верификации языка программирования смарт-контрактов криптовалюты Tezos
Антон сделает доклад по мотивам публикации Конора Макбрайда и Росса Паттерсона "Applicative programming with effects", про еще одну абстракцию из мира функционального программирования наряду с монадами. Расскажет, чем они полезны и почему если вам нужна монада — это хорошо, а если вам нужен аппликативный функтор это еще лучше.
Papers We Love. SPB — это отделение paperswelove.org в Санкт-Петербурге. Здесь одни люди читают интересные исследования из мира Computer Science и рассказывают про них другим.