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.

Read more →

Episode 2 - Enumerations

This episode is about one of the simplest types: enumeations.

Read more →

Episode 3 - Products

Read more →

Episode 4 - CoProducts

Read more →

Episode 5 - Recursive Data Types

In today's episodes, let's see how to type recursive data such as lists and trees.

Read more →