Typy zapięczętowane w Javie, czyli po co sobie utrudniać?

Cześć!
Wraz z łódzką Java User Group mamy ogromną przyjemność zaproszenia na spotkanie z Jarkiem Ratajskim, który tym razem odsłoni nam rąbka tajemnicy po co nowy typ dziedziczenia w Javie.
Abstrakt
Od jakiegoś czasu w Javie pojawiła się nowa funkcjonalność: klasy zapięczętowane (sealed). Wielu programistów zastanawia się, jaki jest sens ich używania, skoro podobne efekty można było osiągnąć wcześniej, po prostu dodając słowo kluczowe `final` we właściwych miejscach.
W Javie istnieją teraz dwa podobne, lecz różniące się sposoby budowania hierarchii klas. W związku z tym pojawia się pytanie: który z nich warto wybrać i w jakich sytuacjach?
W tej prezentacji spróbuję odpowiedzieć na te pytania. Przyjrzymy się, jak `sealed` odnosi się do koncepcji algebraicznych typów danych, co to jest to ADT (i GADT). Będą też porównania z innymi językami i spekulacje jak ta funkcjonalność może zmienić przyszłość javy.
Jarek Ratajski
Od 30 lat programista.
Przez większość tego czasu programowałem w Javie, choć w ostatnich latach piszę więcej w Kotlinie, Scali i Haskellu. Pracuję dla firmy Digital Asset, udoskonalając narzędzia związane z językiem do "smart" kontraktów DAML. Często udzielam się na konferencjach, JUGach, meetupach mówiąc o tym co mnie (jako programistę) denerwuje i co chciałbym zmienić.