Nice summary! (readmore is spoily)
You missed a subtlety about godel, though.
What it's actually doing is nesting anonymous calls to the
sub returned by escher, which do the extraction
from @U. The whole thing returns a sub, which
calls more subs nested in the closure, and so on, and so
on; that's the part I think is cool.
godel is equivalent to foldr
in Language::Functional (or
Haskell, for that matter);
escher is the combining function, and
sub {"\n"} is the start value.
--
F
o
x
t
r
o
t
U
n
i
f
o
r
m
Found a typo in this node? /msg me
% man 3 strfry