FProg SPb (Ноябрь 2021)
Оффлайн встреча 25 ноября в 19-30 по адресу пр. Кима, 6, 4 этаж, оф. 423 (Health Samurai) Вход свободный
В программе:
- Генерация некоторых пруф-термов на coq-elpi и рекурсивные инстансы тайпклассов на coq для гетерогенных коллекций (Андрей Ляшин)
- Он нам [не особо] нужон ORM ваш или как мы написали dsql (Артём Алексеев)
- Демонстрация применения fp-ts совместно с React в простых примерах (Сергей Гулин)
Регистрация