Qual è il più piccolo pratico insieme di primitive che può essere usato per definire il linguaggio Scheme?
Ad esempio, map può essere definito come
(define (map proc lis)
(cond ((null? lis)
'())
((pair? lis)
(cons (proc (car lis))
(map proc (cdr lis))))))
Le funzioni in questa definizione possono essere ridotte in modo simile a primitive più piccole?
Consiglio vivamente di leggere il libro di Queinnec Lisp In Small Pieces , ha diversi capitoli per rispondere alla tua domanda, tenendo conto della tua richiesta di praticità (senza la quale un semplice lambda-calcolo sarebbe sufficiente); passa anche dal semplicistico interprete mini-schema (come implementazione di eval ) a un compilatore Lisp completo (al bytecode e al C).
La tua domanda richiede la risposta a un intero libro e il libro di Queinnec è quel libro.
La risposta a questa domanda dipenderà quasi interamente dal tuo termine in corsivo, pratico . Probabilmente ti senti molto diverso da quello che faccio su ciò che costituisce esattamente la praticità. Ovviamente, puoi spogliare tutto fino al calcolo lambda e finire con un linguaggio completo di turing che include solo lambda, varrefs e applicazione.
Leggi altre domande sui tag programming-languages scheme compiler languages