CaSE: Conversations about Software Engineering

Lars Hupel on Algebraic Design

02.06.2020 - By CaSE Podcast TeamPlay

Download our free app to listen on your phone

Download on the App StoreGet it on Google Play

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 from CaSE: Conversations about Software Engineering