Algebraic Data Type in Java 17

on YouTube ↗31m

" summary

Shows how Java 17 features—sealed interfaces, records, and pattern matching (preview)—can be used to model algebraic data types as closed sum types, replacing enums and fragile class hierarchies. Demonstrates by building a robot command DSL (commands: move with steps, turn with direction, qt with counts) and then adds state-indexed commands so the compiler rejects invalid sequences (e.g., destroy before expose, turn while moving); includes code and notes the preview/feature limitations.

AI-written summary · about

" chapters (8)

1. 0:00Start
2. 1:12Goal
3. 2:33Problem Presentation
4. 10:35Creating an Abstract Class
5. 16:26Algebraic Data Types
6. 19:52Sealed Interfaces
7. 22:25Flexibility
8. 29:13Conclusion

" related talks

• 35mAlgebraic Data TypesChandra Guntur · Devnexus 2021
• 40mAlgebraic Data Types + Pattern Matching = Elegant and readable Java codeBalkrishna Rawool · JCON EUROPE 2025
• 54mData Focused programming with Pattern Matching in JavaMala Gupta · Great International Developer Summit 2023
• 56mThe Art of Java Language Pattern MatchingSimon Ritter · Devoxx Ukraine 2023: AI – Friend or Foe?
• 47mData-oriented programming in JavaRon Veen · GeeCON 2023
• 53mData oriented Programming in JavaRon Veen · Great International Developer Summit 2023
• 49mData-oriented Programming in JavaRon Veen · GeeCON Prague 2023
• 31mData Oriented Programming and Matching in JavaMala Gupta · Devnexus 2023