DaoFP Chapter 5 Exercises

exercise

Exercises from DaoFP, Chapter 5. Solutions: DaoFP Chapter 5 Solutions. Index: Map of Content.

Exercise 5.1.1

Show that the bijection in the proof of the left unit law $1\times a\cong a$ is natural (Cartesian Category).

Sources: DaoFP Exercise 5.1.1.

Solution: Solution 5.1.1

Exercise 5.1.2

Construct an arrow $h:b+a\times b\to (1+a)\times b$. Is it unique? (Cartesian Category, Sum Type)

Sources: DaoFP Exercise 5.1.2.

Solution: Solution 5.1.2

Exercise 5.1.3

Redo DaoFP Exercise 5.1.2 treating $h$ as a mapping out of a sum.

Sources: DaoFP Exercise 5.1.3.

Solution: Solution 5.1.3

Exercise 5.1.4

Implement maybeAB :: Either b (a, b) -> (Maybe a, b). Is it uniquely defined by its type?

Sources: DaoFP Exercise 5.1.4.

Solution: Solution 5.1.4