Published by Michael .
on . permalinkI always wondered... I hack in C++, LISP & Rust. I think a lot about writing provably correct code.
"The head of a LISP list is known as the car and the tail as the cdr. This is from the original IBM 704 implementations where the list head was processed as the 'Contents of the Address Register' and the tail as the 'Contents of the Decrement Register'." – Greg Michaelson, An Introduction to Functional Programming through Lambda Calculus.
#lisp #fp "The head of a LISP list is known as the *car* and the tail as the *cdr*. This is from the original IBM 704 implementations where the list head was processed as the 'Contents of the Address Register' and the tail as the 'Contents of the Decrement Register'."
#lisp #fp "The head of a LISP list is known as the *car* and the tail as the *cdr*. This is from the original IBM 704 implementations where the list head was processed as the 'Contents of the Address Register' and the tail as the 'Contents of the Decrement Register'."
