• By Christian Panadero Martinez
  • ·
  • Posted 14 May 2018
Algebraic data types and their algebra

When we think about types we usually think about how they can help us to abstract concepts. In this post we will learn how we can think about types in terms of cardinality and why some types are equivalent to others even though, at first sight, it could seem that they are different. In this post you...