Internally in the LISP Interpreter program, callable LISP functions and special forms take typed-pointers to S-expressions as input and return a typed-pointer to an S-expression as output. The only (apparent) exceptions are those functions and special forms that accept or return functions or special forms, that is, conceptually sets of ordered pairs. In fact, typed-pointers will be used in these cases as well. When a result is computed, a typed-pointer to that result S-expression or function is returned. When the final result is computed, the typed-pointer ...
© Gary D. Knott 2017
Gary D. Knott, Interpreting LISP, 10.1007/978-1-4842-2707-7_9
9. Arguments and Results Are Typed-Pointers
Gary D. Knott1
(1)Civilized Software Inc., Silver Spring, Maryland, USA