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.