Coursera Plus Annual is 40% Off — Ends June 29.

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

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

media.ccc.de via YouTube

Start learning Write review
TrainSec Ad

Master Windows Internals - Kernel Programming, Debugging & Architecture

Learn More → CodeSignal Ad

Learn the Skills Netflix, Meta, and Capital One Actually Hire For

Learn More →

Overview

AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.

Syllabus

FSCK 2024 - Functional correctness -- Haskell-ing your way to reliable code

Taught by

media.ccc.de

Reviews

Start your review of Functional Correctness: Haskell-ing Your Way to Reliable Code - FSCK 2024

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.