Thanks for posting those links. That explains a lot about where he's coming from -- I hadn't caught the Racket and HTDP connection when I posted my previous comment.