Errata for The Little Typer

Return to the main page.

Which Printing?

Many known errata have been corrected in subsequent print runs of The Little Typer. To identify your printing, look on the copyright page just after the front cover. At the bottom, there is a row of numbers in a sans-serif font. The last number is the number of the printing.

For example, the numbers 10 9 8 7 6 5 4 3 indicate that your copy of the book is from the third printing, while the numbers 10 9 8 7 6 5 4 3 2 indicate that your copy is from the second printing.

Errata in the Third Printing

PageDescriptionThanks
156 In frame 49, lastℓ-1 is described as a function that finds the last entry in a list with ℓ-1 entries, but it actually finds the last entry in a list with (add1 ℓ-1) entries. Similarly, it accepts the tail of a list with (add1 (add1 ℓ-1)) entries. Xiaoyang Zhuang
161 In frame 68, step-drop-last is described as transforming a drop-last that works for (Vec E ℓ-1) into one that works for (Vec E (add1 ℓ-1)). The lengths should be (add1 ℓ-1) and (add1 (add1 ℓ-1)), respectively. Xiaoyang Zhuang
182 Frame 50 indicates that (add1 x) is neutral. It is in fact a value, because it has a constructor at the top. David Binder
209 Frame 42 refers to frame 24, but it should refer to frame 25. Walter Schulze

Corrected in the Third Printing

PageDescriptionThanks
21 In frame 83, there is an extraneous comma just prior to the frame note marker in the left side.
38 In The Initial Second Commandment of λ, the name f should have been written in a serif italic font, like so: f.
77 Frame 30 implies that rec-Nat is strictly more powerful than iter-Nat, while it is in fact possible to derive rec-Nat from iter-Nat using a pair for the base. Felix Herrmann and Carl Howells
93 In frame 1, the reference to frame 2:70 should have been a reference to frame 2:80. Vassili Bykov
124 In frame 61, the definition of concat is incorrect. It reverses its second argument. Alex Brown and Stuart A. Kurtz
125 In frame 65, the definition of kartoffelmad is incorrect. condiments should occur before, rather than after, toppings. Robert Sison
157 In the right hand side of frame 53, (mot-last ℓ-1) should read (mot-last E ℓ-1). Graydon Hoare
157 In the right hand side of frame 55, step 5 in the same-as chart is missing a step number, and step 6 is numbered 5. Graydon Hoare
161 In frame 68, the reference to frame 66 should instead be a reference to frame 67.
271 Frame 28 refers to frame 26, but it should refer to frame 9. Rutvik Patel
351, 354 In frames 40 and 51, the dim variable nat=?n-1 in the step should be named nat=?j-1. Mike Harris
358 The type of base is incorrect. It should instead be
(Π ((k Nat))
  (mot zero (add1 k)
    (zero-smallest k)))
David Moews
358 The type of length should be
(Π ((E U))
  ( (List E)
    Nat))
Rutvik Patel