Introduction to Types
Why using types? When are they useful? Why we should care about types? What are types? These are the questions this series of posts give some answers to.
Episode 1 - Why Types?
Types are more complex and nuanced than you may think. Let me show you.
Episode 2 - Enumerations
This episode is about one of the simplest types: enumeations.
Episode 3 - Products
Episode 4 - CoProducts
Episode 5 - Recursive Data Types
In today's episodes, let's see how to type recursive data such as lists and trees.