YoVDO

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

Offered By: media.ccc.de via YouTube

Tags

Haskell Courses Functional Programming Courses Type System Courses Immutability Courses Pure Functions Courses Referential Transparency Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Related Courses

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX Introduction to Functional Programming
Delft University of Technology via edX Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX