#java
#types
#functional-programming
#algebras
Algebraic Types: The Math Hiding in Your Java Code
Product types, sum types, and why combining them gives you a small, complete algebra — explained through Java records and sealed interfaces. First in a series leading to algebraic effects.