Happy Thanksgiving!

What book?

‘Empire of AI’ maybe?

I thought the part about Pilog was quite interesting[0].

[0]: https://software-lab.de/doc/ref.html#pilog

While the post references a link to the 'Type Hierarchy of Strings'[0], here is the full type tree[1] for Common Lisp.

[0]: https://lispcookbook.github.io/cl-cookbook/strings.html#stri...

[1]: https://sellout.github.io/2012/03/03/common-lisp-type-hierar...

It's also easy to draw type graphs like these dynamically: DO-EXTERNAL-SYMBOLS + FIND-CLASS yields you list of types—and CLASS-DIRECT-SUPERCLASSES, from MOP, gives you the edge relations between them. In my personal SLIME setup I render graphs like this through graphviz and into an Emacs buffer.

The type tree is screaming for the Apple Pascal poster treatment