You knew types were fantastic, but did you know they were algrebaic? That's the A in the perhaps familiar ADT acronym.
In this session I'll show you how to add and multiply types and even solve useful equations with them.
The ability to do algebraic operations with types is one of the cornerstones of Functional Programming. It is useful with languages like Haskell, Scala, Kotlin, Typescript and even Java...
César is a Senior Software Engineer at ThousandEyes. He is particularly interested in the theoretical foundations of Functional Programming and is passionate in his endeavour to convince the Java community to embrace FP beyond lambdas. He regularly speaks at London Meetups, occasionally gives talks at major conferences, such as DevoxxUK, mostly on the adoption of functional programming and Kubernetes. In his spare time, he co-organises Devoxx4Kids UK