Morphling: генерация тайпклассов по схемам данных Free-Applicative'ами Функциональное программирование

Доклад принят в программу конференции
Смирнов Даниил
Tinkoff.ru

Scala/Rust/Haskell ныне, 5 лет C# за плечами

https://t.me/danslapman
danslapman@gmail.com
Тезисы

Как часто вам не хватало встроенных в библиотеку средств кастомизации макро-генерируемых инстансов и приходилось писать инстанс вручную? А сколько раз "разъезжались" форматы представления sealed trait'ов при переходе с одной библиотеки на другую? В этом докладе рассмотрим, как описать схему данных индифферентно к целевой библиотеке и сгенерировать консистеные относительно друг друга инстансы из этой схемы (например, Json кодек и описание для OpenAPI). В процессе пробежимся по Fixpoint-типам, Free аппликативам и научимся отличать типы с дырками высших порядков от смайликов.

Другие доклады секции Функциональное программирование