kannmig

The material handled in PAIP mostly focuses on classical symbolic AI, as opposed to the modern ML-based AI that you refer to in RNNs.

(Not to discourage you from reading the book, of course!)

No, Clozure is correct. OP is referring to Clozure CL, not Rich Hickey's Clojure.

Seems like this is based on Google's own internal code search tooling, something most engineers at Google rely on for every day code-level work. I personally can't even begin to imagine how I'd navigate the gigantic codebase without it.

(I work at Google)

I think OP made the distinction intentional to “show their working”, so to speak.

Reminds me of the classic SICP quip:

"Programs must be written for people to read, and only incidentally for machines to execute."

Another great exposition on the applicative-order Y combinator can be found at the end of Chapter 9 of The Little Schemer.

It is interesting to contrast with how in Haskell, one can simply define Y as

  Y f = f (Y f)

owing to the fact that it is lazily evaluated.