Pearls/Errata-10 - 大久保弘崇

Ch.19

p.148-149

Type signatures of choices, expand, valid duplicates.

p.149 typo

Wrong:

Corrent:

p.154 definition of complete

The function "single" is identical to "singleton", appeared in p.151, in the definition of "remove",
without definition.

p.155 typo

Wrong:

Corrent:

Ch.20

p.158, p.159 definition of unmerges

Wrong: unmerges xss
Correct: unmerges xs

p.160 Fig 20.1, p.161 def of legal

Wrong: ,
Correct: ,

Ch.21

p.169 l.4

Lacks a ')' at the end of the expression.

p.172 l.-6 (at footnote 2)

This "!" is not the mark of end of line, but a factorial symbol in an expression.

p.175 l.5

Wrong: a forest of length and depth .
Correct: a forest of length and depth .

p.175 l.-2

Type mismatch. Insert label to RHS:
mkNexus f g = label . fill f g . mkTree minors
or, remove label from mkNexus

p.176 signature of "solve"

Add a '(' to the head.

p.176 definition of uncats

Add a ']' to the end of the first clause.

p.177 definition of rspine

Wrong:
Correct:

Place comment here