Listen "Lars Hupel on Algebraic Design"
Episode Synopsis
In this episode of the CaSE podcast, Lucas talks to Lars Hupel of Typelevel-fame about algebraic design. Lars starts to explain how the expression problem views the difference between the functional and Object Oriented style of programming. He then explains the concept of an algebra – from coupling trains to CRDTs. This leads to a discussion on comprehensive and iterative thinking styles and how different styles of testing and proving work. Finally, they bring it all back to type systems.
More episodes of the podcast CaSE: Conversations about Software Engineering
Data Architecture with Christoph Windheuser
02/07/2025
Aino Corry on Better Tech Meetings
11/09/2023
Angelo Veltens on Solid
16/05/2022
ZARZA We are Zarza, the prestigious firm behind major projects in information technology.