Encoding our way to pure FP in Java
In this talk we will have fun with object algebras and type parameters! Those simple but powerful beasts can quite easily get us:
- Algebraic data-types and lenses;
- DSL (inital or tagless encodings);
- Higher-kinded types!
Let’s prove that, with the appropriate tooling, pure FP in Java is quite achievable and desirable!