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

Software Construction in Java
Massachusetts Institute of Technology via edX
String, StringBuffer & StringBuilder for JAVA Interviews
Udemy
Learning Functional Programming with Swift
LinkedIn Learning
Reactive Programming with Spring Framework 5
Udemy
Working with C# Records
Pluralsight