Встреча функциональных программистов в Санкт-Петербурге
25 октября в Санкт-Петербурге состоится очередная встреча функциональных программистов.
Темы докладов:
Обзор Clojure. Доклад рассматривает Clojure с практической точки зрения: основы синтаксиса, нужные утилиты и библиотеки, подводные камни. Предварительное знание Clojure не требуется. Зачем нужны зависимые типы. В докладе будут рассмотрены теоретические аспекты систем зависимых типов на примере системы Мартина-Лёфа. Так же будут даны примеры использования зависимых типов: изоморфизм Карри-Ховарда, вычисления во время компиляции, инварианты проверяемые во время компиляции, безопасный printf. Участие бесплатное. Необходима предварительная регистрация.
clojure, санкт-петербург, теория типов
