p 49
Overloading on values (or patterns thereof).
p 64
Analogy between the concept of the parameter stack, and this of block
in structured programming (one entry/one exit). See also p 41.
p 65
Tuple return: there is an anology with Perl.
p 69
Exceptions for partial functions (a nice conceptual point of view).
p 77 (esp. Note at bottom of page)
Expression versus "statement". The
latter have side-effects.
p 165
The keyword abstraction can substitute for the keyword structure.