Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the algebraic properties and functional programming principles behind infrastructure-as-code through this 43-minute conference talk from Lambda Days 2025. Discover how the purely functional infrastructure-as-code tool Besom and its high-level companion library Yaga leverage algebraic properties to create reliable deployment systems. Learn about Besom's low-level monadic DSL for defining deployment plans with Pulumi, and understand Yaga's novel approach to full-system design that seamlessly integrates application and infrastructure layers. Gain insights into expressing entire systems with enhanced reliability and the familiar "if it compiles, it works!" experience that functional programming provides. Understand how these tools eliminate uncertainty in infrastructure management while maintaining the mathematical rigor of functional programming principles.
