YoVDO

Functional Correctness - Haskell-ing Your Way to Reliable Code

Offered By: media.ccc.de via YouTube

Tags

Haskell Courses Functional Programming Courses Type System 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 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 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