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

YouTube

Why Algebraic Data Types Are Important

code::dive conference via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the importance of algebraic data types in a conference talk from code::dive 2018. Delve into the theory behind types, their connection to category theory and logic, and how functional languages like Haskell and ML exploit this simplicity. Learn why strong static typing is beneficial for detecting bugs at compile time, and understand the complexities of type systems in languages like C++. Discover elements of type theory, including products, sums, exponentials, and algebraic identities. Gain insights into generic programming and the systematic approach to type theory presented by speaker Bartosz Milewski.

Syllabus

Intro
The problem
Systematic type theory
Abstracting over types
Products
Sums
Exponentials
Unit
Algebraic identities

Taught by

code::dive conference

Reviews

Start your review of Why Algebraic Data Types Are Important

Never Stop Learning.

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

Someone learning on their laptop while sitting on the floor.