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.

d

Saby Company
Delebio, Italy

Junior

asasd

Expire

Remote
Junior

Matching moments

Applying data-oriented programming principles in Java
24:17 MIN

Applying data-oriented programming principles in Java

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

Refactoring asynchronous code with modern Java features
21:53 MIN

Refactoring asynchronous code with modern Java features

Using Java 17 latest features in real world projects

Major language enhancements from Java 12 to 17
21:36 MIN

Major language enhancements from Java 12 to 17

Beam Me Up, Java! Unraveling the Warp-Speed Evolution: A Journey through Java LTS Versions 11 to 21

Modeling distinct data states with algebraic data types
18:18 MIN

Modeling distinct data states with algebraic data types

Tackling Complexity With Functional Programming And Kotlin

Using Java sealed interfaces with records for conciseness
28:35 MIN

Using Java sealed interfaces with records for conciseness

Java Sealed Classes vs. Kotlin Sealed Classes #Slideless

Modeling data alternatives using sealed interfaces and records
09:49 MIN

Modeling data alternatives using sealed interfaces and records

Data-Oriented Programming - Version 1.1

Comparing data-oriented programming to the visitor pattern
25:42 MIN

Comparing data-oriented programming to the visitor pattern

Data-Oriented Programming - Version 1.1

Leveraging pattern matching for switches and records
05:54 MIN

Leveraging pattern matching for switches and records

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

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

Modern Java30:21

Modern Java

Ron Veen

Using Java 17 latest features in real world projects30:28

Using Java 17 latest features in real world projects

Ron Veen

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
MI
Michael Inden
Modern Java Records
In this blog, I will present Records, one of my favorite features of modern Java. Records represent a simplified form of classes whose methods are implicitly derived from the attributes defined as constructor parameters. A record constitutes a collec...
Modern Java Records
BB
Benedikt Bischof
How we Build The Software of Tomorrow
Welcome to this issue of the WeAreDevelopers Live Talk series. This article recaps an interesting talk by Thomas Dohmke who introduced us to the future of AI – coding.This is how Thomas describes himself:I am the CEO of GitHub and drive the company’s...
How we Build The Software of Tomorrow
BB
Benedikt Bischof
Java Basics
In 1991,James Gosling invented a high-level, general-purpose, object-oriented andsecure programming language and called it OAK (after a tree in front of hiswindow). And four years later, in 1995, it was renamed after one of the GreaterSunda Islands: ...
Java Basics

From learning to earning

Jobs that call for the skills explored in this talk.