Schema: Konvertieren von Let zu Lambda

Question

Also versuche ich mit etwas Code zu experimentieren und zwischen den beiden Schema-Ausdrucksmethoden von und Lambda zu wechseln.

Der Code ich habe, ist wie folgt:

(let splice ((l '()) (m (car s)) (r (cdr s))) 
     (append 
      (map (lambda (x) (cons m x)) (perm (append l r))) 
      (if (null? r) '() 
     (splice (cons m l) (car r) (cdr r))))) 

Ich versuche, die äußerste lassen Definitionen Lambda Format zu ändern, aber es ist ein bisschen verwirrend aufgrund der verschachtelten Natur des Codes . Was habe ich versucht, so weit zu tun ist:

(lambda (splice (l m r)) 
     (append 
      (map (lambda (x) (cons m x)) (perm (append l r))) 
      (if (null? r) '() 
    (cut (cons m l) (car r) (cdr r))))) 
(('()) (car upList) (cdr upList)) 

Dies ist eindeutig falsch, aber ich weiß nicht, wie weiter verfahren ist ...

Answer 1

Ich schrieb a post about how let is transformed into lambda behind the scenes, die Sie nützlich finden können.

Nach der Expansion in meinem Beitrag beschrieben, Ihr Code würde erweitern in:

((rec (splice l m r) 
    (append (map (lambda (x) (cons m x)) (perm (append l r))) 
      (if (null? r) 
       '() 
       (splice (cons m l) (car r) (cdr r))))) 
'() (car s) (cdr s)) 

, die dann erweitert zu:

((letrec ((splice (lambda (l m r) 
        (append (map (lambda (x) (cons m x)) (perm (append l r))) 
          (if (null? r) 
           '() 
           (splice (cons m l) (car r) (cdr r))))))) 
    splice) 
'() (car s) (cdr s))