This document is a graphical exploration on the relationship between Types, Sets and Values.
The goal is to help develop an intuition about types by representing them graphically in a very concrete way: as labels or post-its attached to expressions.
We’ll be talking about two different notions of functions:
i) Mathematical functions. They are abstract, and can be defined between two arbitrary Sets. They “live” in our heads, so to speak.
We’ll use the notation
A → Bin this case.
ii) Scala functions and methods. We’ll use
A => Bin this case.
The two notions are…
Programador funcional converso