Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
I don't think he does? Perhaps one could say that Lisp is less abstract than lambda calculus in the sense that it has primitive operations on integers and whatnot. I also don't think he's arguing that it's more abstract, just that the notation makes it easier for humans to reason about programs, much in the same way that arithmetic is easier with Arabic numbers than Roman numerals. Or how currying and partial function application is common in Haskell because the syntax makes those operations painless.