Introduction to Type Systems

23 May 2020
This post is part 1 of 4 of the series Introduction to Type Systems.


In this series, I will explain various type systems and their implementations in Haskell. The aim for this series is to be an approachable way to learn about type systems. I will try to cover both the theoretical aspects, such as formal (mathematical) notation, and the practical aspects, consisting of a Haskell implementation. After reading this series, you should have an understanding of the basics of type systems.

Read the series

You can find a list of the series’ posts here.

Further reading