next up previous contents index
Next: Selector `cdr' Up: Basic abstractions for pairs Previous: Constructor `cons'   Contents   Index

Selector `car'

The abstraction `car' selects the head of a pair:
(define car (lambda (l)
(l true)))
`car' is equivalent to a function that is passed a list as an argument[*].

The list is invoked as a function with `true' supplied as an argument. `true' by definition is a selector returning the first of two arguments, which in our case is the head of the pair or list.

domain access counter Georg P. Loczewski 2004-03-05