Algebraic Data Types with Haskell

A look into the theory behind product and sum types, culminating in the explanation of what
algebraic data types are in Haskell and how you can define them.

Contents:
00:00:00 - Module Introduction
00:00:22 - Module Content Overview
00:00:52 - Product Types - Cartesian Product
00:01:48 - Product Types - Tuples
00:02:42 - Product Types - Tuple Limitations
00:04:03 - Type Synonyms
00:07:13 - Datatype Renamings (Newtype)
00:10:44 - Aside: Type Classes and 'deriving Show'
00:12:33 - Creating Custom Product Types
00:19:38 - Sum types - Bool
00:21:42 - Creating Custom (Sum) Types
00:23:29 - Combining sums and products
00:27:14 - Algebraic Data Types
00:28:26 - Summary

In the "Aside: Type Classes and 'deriving Show'" section I ask you to blindly add "deriving Show" to your type declarations, and mention I will explain what it means later. The explanation is found in the later module here:    • Polymorphism and Type Classes in Haskell  

-------------------------------------------------------
This video is part of the Introduction to Functional Programming with Haskell video course (    • Intro to Functional Programming with Haske...   ).

Code shown in the course is available on Github here: https://github.com/LigerLearn/intro-t...