Georg Dresler

Tackling Complexity With Functional Programming And Kotlin

What if your type system could eliminate entire classes of runtime errors? Learn how functional patterns in Kotlin make illegal states unrepresentable, leading to more robust code.

Tackling Complexity With Functional Programming And Kotlin
#1about 3 minutes

Understanding a complex and unusual feature request

A real-world example of a complex feature request involves an offline form editor that syncs data via JSON embedded in PDF metadata.

#2about 3 minutes

Why traditional try-catch blocks fail for complex errors

Traditional try-catch blocks for error handling either obscure an error's origin or make the code unreadable with excessive boilerplate.

#3about 7 minutes

Using the Either type for robust functional error handling

Replace exceptions with the `Either` sealed class, using `flatMap` to chain successful operations and `fold` to handle the final success or error state.

#4about 4 minutes

Enforcing data validation using private constructors in Kotlin

Use a private constructor combined with a companion object's `invoke` operator to run validation logic upon object creation, preventing invalid states.

#5about 7 minutes

Modeling distinct data states with algebraic data types

Use sealed classes (sum types) to model different states like `Draft` and `Validated`, letting the compiler enforce state-specific logic instead of relying on boolean flags.

#6about 4 minutes

Recap of functional techniques and audience Q&A

A summary of using `Either` for errors, private constructors for validation, and ADTs for state, followed by a Q&A on libraries like Arrow and custom exceptions.

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

Matching moments

Using Kotlin Coroutines to simplify complex reactive code
09:38 MIN

Using Kotlin Coroutines to simplify complex reactive code

Back(end) to the Future: Embracing the continuous Evolution of Infrastructure and Code

Audience Q&A on Kotlin features and learning resources
46:13 MIN

Audience Q&A on Kotlin features and learning resources

Route from Java to Kotlin

Introduction to Kotlin and its Java interoperability
00:02 MIN

Introduction to Kotlin and its Java interoperability

Route from Java to Kotlin

Achieving interoperability between Java and Kotlin code
32:54 MIN

Achieving interoperability between Java and Kotlin code

Why Kotlin is the better Java and how you can start using it

Refactoring Kotlin code to eliminate nulls with sealed classes
05:03 MIN

Refactoring Kotlin code to eliminate nulls with sealed classes

Java Sealed Classes vs. Kotlin Sealed Classes #Slideless

Q&A on type systems and legacy code
41:25 MIN

Q&A on type systems and legacy code

Typed Security: Preventing Vulnerabilities By Design

Discovering critical challenges in Kotlin Native
21:10 MIN

Discovering critical challenges in Kotlin Native

Kotlin Multiplatform - True power of native code reuse

Managing code complexity and common development styles
11:45 MIN

Managing code complexity and common development styles

Breaking the Bug Cycle: TDD for the Win

Featured Partners

Related Videos

See all videos
Algebraic Data Types + Pattern Matching = Elegant and readable Java code29:16

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

Balkrishna Rawool

Moving from Java to Kotlin28:22

Moving from Java to Kotlin

Urs Peter

Typed Security: Preventing Vulnerabilities By Design58:19

Typed Security: Preventing Vulnerabilities By Design

Michael Koppmann

Route from Java to Kotlin57:09

Route from Java to Kotlin

Christian Woerz

A Guide To Functional Programming25:29

A Guide To Functional Programming

Jemima Abu

Why Kotlin is the better Java and how you can start using it58:11

Why Kotlin is the better Java and how you can start using it

Iris Hunkeler

Functional Programming in C++26:54

Functional Programming in C++

Jonathan Müller

F#, path to functional enlightenment29:15

F#, path to functional enlightenment

Onur Gumus

From learning to earning

Jobs that call for the skills explored in this talk.