The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

Andreas Reuleaux (7) [Avatar] Offline
#1
"That is, in the pattern (x :: xs), word is a String, words is a vector of k Strings, and
for the output we need to provide a vector of Nat of length 1 + k, represented as S k."

should read (I would guess):
"That is, in the pattern (word :: words), ..."

(word::words) was introduced on p 74 already to make the pattern easier to read
Edwin Brady (66) [Avatar] Offline
#2
Well spotted, thank you!