Lars Hupel on Algebraic Design

Episode notes

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.

Related episodes across the Index

Other episodes covering the same guests and topics, from across The B2B Podcast Index.

• Rust in Production - Series TeaserRust in Production · on programming

• Technology Governance with Sarah Wells64 / 100
• Agent Harness, State of Play, Risk and AI Company Culture93 / 100
• Data Marketplace, Data Products and Data Contracts95 / 100
• Data Architecture with Christoph Windheuser83 / 100
• Mirko Novakovic on Waves of Innovation and Observability Product Management86 / 100