[net.ai] Lisp Interchange Standard

VANBUER@USC-ECL@sri-unix.UUCP (08/26/83)

In response to your message sent Friday, August 19, 1983 5:26PM

On Lisp translation via a standard form:

I have used Interlisp Transor a fair amount both into and out of
Interlisp (even experimented with translation to C), and the kind of
thing which makes it very difficult, especially if you want to retain
some efficiency, are subtle differences in what seem to be fairly
standard functions:  e.g. in Interlisp (DREMOVE (CAR X) X) will be EQ
to X (though not EQUAL or course) except in the case the result is
NIL; both CAR and CDR of the lead cell are RPLACed so that all
references to the value of X also see the DREMOVE as a side effect.
In Franz Lisp, the DREMOVE would have the value (CDR X) in most cases,
but no RPLACing is done.  In most cases this isn't a problem, but ....
In APL, at least the majority of the language has the same semantics
in all implementations.
        Darrel J. Van Buer, SDC