Können Sie eine reine LISP-Funktion mit den zehn Primitiven implementieren? (dh keine Typ-Prädikate)

Diese Site erhebt den folgenden Anspruch:http: //hyperpolyglot.wikidot.com/lisp#ten-primitive

McCarthy introduced the ten primitives of lisp in 1960. All other pure lisp 
functions (i.e. all functions which don't do I/O or interact with the environment) 
can be implemented with these primitives. Thus, when implementing or porting lisp, 
these are the only functions which need to be implemented in a lower language. The 
way the non-primitives of lisp can be constructed from primitives is analogous to 
the way theorems can be proven from axioms in mathematics.

The primitives are: atom, quote, eq, car, cdr, cons, cond, lambda, label, apply.

Meine Frage ist - können Sie dies wirklich ohne Typ Prädikate wie @ tnumberp? Sicher gibt es einen Punkt, an dem Sie beim Schreiben einer übergeordneten Funktion eine numerische Operation ausführen müssen - was die obigen Grundelemente nicht zulassen.

Antworten auf die Frage(2)

Ihre Antwort auf die Frage