Czy ktoś może mi pomóc w rozbiciu kolejności wykonywania następujących wersji spłaszczania? Używam rakiety.

wersja 1 pochodzi z samej rakiety, podczas gdy wersja druga jest bardziej popularna? realizacja.

(define (flatten1 list)
  (let loop ([l list] [acc null])
    (printf "l = ~a acc = ~a\n" l acc)
    (cond [(null? l) acc]
          [(pair? l) (loop (car l) (loop (cdr l) acc))]
          [else (cons l acc)])))

(define (flatten2 l)
  (printf "l = ~a\n" l)
  (cond [(null? l) null]
        [(atom? l) (list l)]
        [else (append (flatten2 (car l)) (flatten2 (cdr l)))]))

Teraz uruchomienie pierwszego przykładu z '(1 2 3) daje:

l = (1 2 3) acc = ()
l = (2 3) acc = ()
l = (3) acc = ()
l = () acc = ()
l = 3 acc = ()
l = 2 acc = (3)
l = 1 acc = (2 3)
'(1 2 3)

podczas gdy drugi produkuje:

l = (1 2 3)
l = 1
l = (2 3)
l = 2
l = (3)
l = 3
l = ()
'(1 2 3)

Kolejność wykonania wydaje się inna. W pierwszym przykładzie wygląda jak druga pętla(loop (cdr l) acc) strzela przed pierwszą pętlą, ponieważ „(2 3) drukuje od razu. Podczas gdy w drugim przykładzie, 1 drukuje przed '(2 3), co wydaje się, że pierwsze wywołanie spłaszczenia wewnątrz append jest oceniane jako pierwsze.

Przechodzę przez Mały Schemer, ale są to trudniejsze przykłady, w których naprawdę mogę pomóc.

Wielkie dzięki.