Predictable Systems Design with Clearly Defined Doubt and Uncertainty - Lambda Days 2023

Explore a conference talk from Lambda Days 2023 that delves into the concept of Predictable Systems Design with Clearly Defined Doubt and Uncertainty. Discover how functional programming principles and practices can be leveraged to overcome fundamental limitations in software design, particularly for complex systems like real-time globally distributed blockchains. Learn about the ΔQSD metrics-based, quality-centric design methodology and workbench, and how it was applied to successfully develop the Cardano blockchain network implementation in Haskell. Gain insights into the importance of compositional probabilistic models, separation of concerns, and strong semantics in ensuring quality and performance in software development. Understand why many software projects fail due to contradictory, poorly defined, or misunderstood design requirements, and how to address these issues using the presented approach.