F(café) Зависимые типы в Haskell с примерами из бухучета

20 июня F(café) и Intetics Inc. приглашают тебя на встречу, посвященную функциональному программированию. Тема доклада: Зависимые типы в Haskell с примерами из бухучета В докладе обсуждается система типов в Haskell и понятие зависимых типов. Мы разберем практические задач из финансового и криптографического домена и их типичные решения в статических языках (Java, C++). Затем мы воспользуемся богатой системой типов Haskell, а именно одним из простейших зависимых типов - type level naturals, чтобы выразить более статически безопасные и производительные решения. Предварительное знакомство с Haskell не обязательно. Speaker: Andrew "Bodigrim" Lelechenko (https://github.com/Bodigrim), Haskell Developer at EPAM Systems. Andrew is a software developer from Odessa/Kyiv with a strong background in mathematics and computer science. After receiving his PhD degree from Institute of Mathematics of NASU, he went into industry. Currently he works on the compiler of the domain-specific language for finance and trading, implemented in Haskell. Andrew's main open source contribution is arithmoi (https://github.com/cartazio/arithmoi) - a modern library for number-theoretic computations. Для участия в мероприятии зарегистрируйся по ссылке https://docs.google.com/forms/d/e/1FAIpQLSc4rW2eTQLXnaCeD3LWf2xSxBHZX8TOl7iDO1IpY_kQ6fo3uA/viewform?usp=sf_link Оплата только за пребывание в FREUD HOUSE cafe art club (1-й, 2-ой час - по 39 грн., 3-й и 4-й - по 25 грн.)