Polyglot full-stack developer and functional programming enthusiast. PSE & Scala Developer Advocate @ VirtusLab. Values quality over quantity. Permanent learner with a severe information dependency problem. Enjoys conversations about philosophy and all things related to the mind's inner workings. Loves mountains, biking and hiking.
In my talk, I will explore the interesting and useful algebraic properties we can identify and leverage when using the purely functional infrastructure-as-code tool Besom, along with its high-level companion library, Yaga. While Besom allows us to use a low-level monadic DSL to define deployment plans with Pulumi, Yaga takes a novel approach to full-system design, seamlessly integrating the application and infrastructure layers while offering the familiar "if it compiles, it works!" feeling. Together, they enable us to express entire systems with a completely new level of reliability and without uncertainty.