Митап "#7: Types in Object-Oriented Programs" состоится 14 сентября 2022 года в Москве (будет доступна онлайн-трансляция).

1. Алгебраические типы: что это и как они делают программы лучше? - Николай Кудасов
Общаясь с программистами на функциональных языках, часто можно услышать, что алгебраические типы данных — это то, что позволяет им писать корректные программы, причём достаточно удобным образом. Что же такого особенного в этих типах, какие преимущества они дают по сравнению с другими типами, и можно ли их использовать в классических объектно-ориентированных языках, таких как Java? В этом докладе мы разберём один классический пример алгебраических типов и обсудим достоинства и недостатки их использования на практике.

2. Как generics помогли построить immutable коллекцию стратегий - Егор Бугаенко
Мне нужно было сделать коллекцию из стратегий, функциональных объектов обрабатывающих данные. Каждый объект должна была быть возможность декорировать. В коллекцию должно быть легко добавлять новые стратегии и тоже декорировать их при добавлении. При этом все стратегии, декораторы и сама коллекция, конечно же, должны быть immutable. Более того, полиморфизм должен быть возможен на всех уровнях: и коллекция и стратегии могут быть разных типов. У меня получилось реализовать это при активной поддержке generics в Java.

Так же в программе ужин и общение.