Balkrishna Rawool

Algebraic Data Types + Pattern Matching = Elegant and readable Java code

What if the compiler could guarantee your code handles every possible case? Learn how sealed types and pattern matching bring this power to modern Java.

Algebraic Data Types + Pattern Matching = Elegant and readable Java code
#1about 2 minutes

Introducing the 'SEND + MORE = MONEY' puzzle

A cryptarithmetic puzzle is presented where letters represent unique digits in a mathematical equation that must be solved.

#2about 3 minutes

Designing a solver and defining an expression grammar

A high-level solution is designed with a generator and evaluator, based on a grammar that defines expressions as constants, variables, additions, or multiplications.

#3about 4 minutes

Understanding algebraic data types and pattern matching in Java

Product types are implemented with records and sum types with sealed interfaces, which can then be deconstructed using pattern matching for `instanceof` and `switch`.

#4about 2 minutes

Modeling expressions as an algebraic data type

An expression is modeled as a sum type using a Java sealed interface with record implementations for constant, variable, addition, and multiplication.

#5about 3 minutes

Implementing an evaluation function with pattern matching

A static `evaluate` function uses a pattern matching switch expression to recursively calculate the value of an expression tree, ensuring compile-time safety.

#6about 8 minutes

Building the puzzle solver and constraints

The main puzzle solver logic is built by creating a sealed interface for constraints and using a generator to check all combinations against them.

#7about 4 minutes

Assembling and running the puzzle solution test

A unit test is created to assemble the puzzle's variables, expressions, and constraints, which is then run to find and verify the final solution.

#8about 1 minute

The pattern of data-oriented programming in Java

The combination of algebraic data types for data modeling and pattern matching for behavior is defined as data-oriented programming, a powerful pattern for writing readable code.

Related jobs
Jobs that call for the skills explored in this talk.

Software Engineer

tree-IT GmbH

tree-IT GmbH
Bad Neustadt an der Saale, Germany

€54-80K
Intermediate
Senior
Java
TypeScript
+1

Matching moments

Increasing the value of talk recordings post-event
04:57 MIN

Increasing the value of talk recordings post-event

Cat Herding with Lions and Tigers - Christian Heilmann

Organizing a developer conference for 15,000 attendees
01:32 MIN

Organizing a developer conference for 15,000 attendees

Cat Herding with Lions and Tigers - Christian Heilmann

Establishing a single source of truth for all data
02:39 MIN

Establishing a single source of truth for all data

Cat Herding with Lions and Tigers - Christian Heilmann

Selecting strategic partners and essential event tools
03:17 MIN

Selecting strategic partners and essential event tools

Cat Herding with Lions and Tigers - Christian Heilmann

Balancing the trade-off between efficiency and resilience
03:38 MIN

Balancing the trade-off between efficiency and resilience

What 2025 Taught Us: A Year-End Special with Hung Lee

Moving beyond headcount to solve business problems
04:27 MIN

Moving beyond headcount to solve business problems

What 2025 Taught Us: A Year-End Special with Hung Lee

Why HR struggles with technology implementation and adoption
04:22 MIN

Why HR struggles with technology implementation and adoption

What 2025 Taught Us: A Year-End Special with Hung Lee

Automating formal processes risks losing informal human value
03:48 MIN

Automating formal processes risks losing informal human value

What 2025 Taught Us: A Year-End Special with Hung Lee

Featured Partners

Related Videos

See all videos
Data-Oriented Programming - Version 1.128:24

Data-Oriented Programming - Version 1.1

Nicolai Parlog

Tackling Complexity With Functional Programming And Kotlin28:48

Tackling Complexity With Functional Programming And Kotlin

Georg Dresler

Modern Java 2527:39

Modern Java 25

Ron Veen

Modern Java: This is not your father's Java anymore27:49

Modern Java: This is not your father's Java anymore

Ron Veen

Java Sealed Classes vs. Kotlin Sealed Classes #Slideless38:07

Java Sealed Classes vs. Kotlin Sealed Classes #Slideless

Lothar Schulz

Typed Security: Preventing Vulnerabilities By Design58:19

Typed Security: Preventing Vulnerabilities By Design

Michael Koppmann

Using Java 17 latest features in real world projects30:28

Using Java 17 latest features in real world projects

Ron Veen

Java with a Clojure mindset41:37

Java with a Clojure mindset

Dan Lebrero

Related Articles

View all articles
BB
Benedikt Bischof
Using Java 17 latest features in real world projects
Welcome to this issue of the WeAreDevelopers Live Talk series. This article recaps an interesting talk by Ron Veen who introduced the audience to some of the most interesting features that got added to the Java language.About the speaker:Ron is a hig...
Using Java 17 latest features in real world projects

From learning to earning

Jobs that call for the skills explored in this talk.