Functional Correctness - Haskell-ing Your Way to Reliable Code
Offered By: media.ccc.de via YouTube
Course Description
Overview
Explore the fundamentals of functional programming and its impact on software reliability in this one-hour conference talk. Dive into the world of Haskell and discover how its unique approach can lead to more robust and maintainable code. Learn about strong type systems, immutable data structures, and pure functions, and understand concepts like referential transparency, purity, and correctness through verifiable specifications. Through practical examples and approachable explanations, gain insights into how functional programming paradigms can enhance your software development practices. Whether you're a beginner or an experienced developer, acquire valuable knowledge on writing verifiably correct and maintainable software using Haskell's powerful features.
Syllabus
EH21 - Functional correctness -- Haskell-ing your way to reliable code
Taught by
media.ccc.de
Related Courses
Functional Programming For Beginners With JavaScriptUdemy [NEW] Functional programming for javascript developers
Udemy Introduction to Functional Programming Course (How To)
Treehouse Functional Programming: The Big Picture
Pluralsight Advanced C#: Functional Programming Patterns
LinkedIn Learning