Total Functional Programming

Gabriel discusses the concept of total functional programming, emphasizing its reliability and low maintenance. He shares insights on the challenges of designing configuration languages and how a strong type system can enhance maintainability, especially in the context of sprawling YAML configurations. The conversation highlights the satisfaction that comes from knowing a program will work if it type checks, allowing developers to move on without lingering concerns.