Hacker News Reader

Comment by jlarocco | Hacker News Reader

Actually, car and cdr in particular were named after the instructions used to implement them in IBM 704 assembly language. [1]

The cryptic naming and backwards compatibility with completely out dated 40 year old systems are just a few things that drive me crazy about Lisp.

    [1] https://en.wikipedia.org/wiki/CAR_and_CDR

View on HN

Why should we throw away old code?

In your own code, you can use FIRST and REST for lists.

But if you want to program you need to deal with that. Stuff was there before you and has a history. Changing things has a benefit, but also a cost. For a small community like Lisp, constantly rewriting code because some names change is not such a good idea.

Given that we can remember thousands of words in natural languages, a few hundred core words of a programming language is not such a huge hurdle.

Another issue is old books. I recently got value out of PAIP and On Lisp, and I still see people recommend A Gentle Introduction to Symbolic Computation. Stepping beyond CL for a second, car and cdr have even deeper roots; for example if someone is introduced to the wider lisp-like world through SICP they will also have to become comfortable with car and cdr.

>Why should we throw away old code?

For the same reason we move forward and left Algol in the past, relegated Cobol to some niche areas, etc.

That car and cdr can be aliased easily by any Lisp programmer might lead a person to wonder why they survive and are even included in more modern Lisps such as Racket.

The reason is the expressive power of their extended versions - e.g. caadr or cdaar don't have easily derived equivalents from first and rest and those that can be derived are at best equally bad or worse...ffirest and reffst anyone?

What's wrong with "second"?

Nothing and Common Lisp includes second. But that's not caar. It returns the first element of the first element of a list - the extended forms of car and cdr are for nested lists and nested lists can be used to implement many different data structures [and are also the data structure containing Lisp programs].

The extended forms of car and cdr provide a form of expression which is not obvious based on the construction of common non-Lisp languages even those that have very flexible lists and dynamic typing.

I know, so do (head (second list)), or if you must, (head2 list) or even (head list 2) or something. Still much more readable than cadr

I presume you mean as opposed to "rest".

The problem is, it really is "rest" instead of "second", at least in the usual case. Yes, a cons cell can contain pretty much any two things, but the most-frequently-used case (or so I believe) is that of a list. In that case, "car" means "first element of the list", and "cdr" means "the entire rest of the list", not "the second element of the list".

Personally I have found it useful to keep in mind that it's the pair that's fundamental and not the list. IIRC it was pg that made the point somewhere that car and cdr are acceptable because there really aren't any slam-dunk general terms for the parts of a pair.

True, and if you're thinking of them as a pair, then "first" and "second" are appropriate. But if you're using them to implement a list, then "second" is misleading.

I'd probably go with "left" and "right" to get away from the implication of priority. I didn't type this using my first and second hands.

(bikeshedding acknowledged)

Reply on news.ycombinator.com