Jan
25th
Sun
25th
The Bool type is the coproduct of the terminal object with itself. — As a coproduct, it comes with two maps i : 1 -> 1+1 and j : 1 -> 1+1 — such that for any Y and maps u: 1 -> Y and v: 1 -> Y, there is a unique — map (u+v): 1+1 -> Y such that (u+v) . i = u, and (u+v) . j = v — as shown in the diagram below.
—
Improved documentation for Bool Was: Comments from OCaml Hacker Brian Hurt
A great example of why I can’t learn haskell. Nobody who knows haskell seems to think that the ideas involved in haskell as to complex that they require very complex explainations.
