I suspect I do speak for everyone in saying that what McCarthy's team
originally designed is of little interest to modern Lispers, at least the ones
that hang out here. I haven't seen a real discussion about that dialect in the
ten years I've been on comp.lang.lisp, except where it was brought up in some
historic context (``what is the etymology of such and such construct'').
I've read some of the old papers and documentation about the original work, but
not in great detail and not recently. Obviously, there are numerous vestiges
of the ancient dialect in modern Common Lisp, like atoms and conses, the
symbols NIL, et cetera. (But the original had little /else/ besides these,
really!) If you want to know why we have the function named CAR, then of course
that will take us back all the way to that time.
To me, the most interesting history is that which is captured in _The Evolution
of Lisp_, which is a paper that describes the rich unfolding of events after
McCarthy's Lisp. There were many important people and a large influx of many
new ideas, many of them being developed separately by people working largely in
isolation and then the "best of breed" of them combined together.
People like David Moon, Gerald Sussman, Alan Bawden or Guy Steele.
Lisp can absorb arbitrary complexities, yet the code can manage to look the
same to someone who doesn't know much about it. A code structure made of
nested lists containing atoms can represent anything, the same way that
text can represent anything. What is (a b (c d) (e))?
Is it a call to function A with arguments B, (C D) and (E)?
You don't know. A could mean "define class", where B is the name,
(C D) are the parent classes (multiple inheritance!) and (E) is the list of
new slots in the derived class. Or it could be a declaration of logically
chained facts. Inference rule B (being entered into a knowledge base) says that
(C D), D satisfying the predicate C, is a consequence of (E).