Functional Correctness: Haskell-ing Your Way to Reliable Code - FSCK 2024

Explore the fundamentals of functional programming and its role in creating reliable software systems in this 55-minute conference talk from FSCK 2024. Delve into the unique approach offered by functional programming languages like Haskell, focusing on strong type systems, immutable data structures, and pure functions. Gain insights into key concepts such as referential transparency, purity, and correctness through verifiable specifications. Through practical examples and accessible explanations, discover how Haskell's paradigms can lead to more robust and maintainable codebases. Ideal for beginners eager to enter the world of functional programming, this talk serves as a friendly guide to harnessing its power for writing verifiably correct and maintainable software.