How Do You Read Types?

If I’m reading them to myself:
(a → b) → a → b (A to B) to A to B
a → (a → b) → b A to (A to B) to B
where the words in parentheses are said more quickly together.

If I’m explaining them to someone else:
(a → b) → a → b a function that takes two arguments and returns a B. The first of argument is a function from A to B and the second argument is an A.
a → (a → b) → b a function that takes two arguments and returns a B. The first argument is an A and the second argument is a function from A to B.

2 Likes