Tinkoff Functional Programming Meetup #3

Егор расскажет про преимущества функциональной парадигмы и применимость практик функционального программирования в реальных проектах на Golang, сравнит обработку и модель ошибок с ZIO, разберет концепцию Type Classes без имплиситов через Duck Typing.

Антон расскажет про парадигму функционального реактивного программирования, поделится теоретическими и практическими основами этой концепции, а также разберет, как увеличить долю чистого кода и сделать зависимости более прозрачными и гибкими.

Property-based testing — зарекомендовавший себя подход, позволяющий находить баги, практически неподвластные ручному тестированию, и при правильном использовании значительно сокращающий затраты на качественное тестирование. Для работы подхода нужны генераторы входных данных системы, которую мы тестируем, и часто мы можем получить эти генераторы автоматически или дешево. Но что, если у той системы, которую мы хотим тестировать, входные данные очень непростой структуры? Например, хитрые графы с хитрыми отношениями вершин или успешно тайпчекающиеся программы? Тут на помощь нам могут прийти зависимые типы (dependent types). В докладе рассмотрим property-based testing вообще, коротко познакомимся с зависимыми типами, а также узнаем, как их сочетание позволяет находить сложные ошибки в сложных системах.