процедура списка на схеме

Question

Я изучаю экзамен прямо сейчас, но я не уверен, понял ли я процедуру list на Схеме. Я знаю, что его можно использовать для создания переменных списка, например (define x (list 'a 'b 'c)). Однако я видел другое использование его в создании процедуры:

1 ]=> (define foo3 
      (lambda (b lst) 
       (if b 
        (car lst) 
        (cadr lst) 
       ) 
      ) 
    ) 
;Value: foo3 

1 ]=> (foo3 #f ’(a b)) 
;Value: b 

1 ]=> ((foo3 #t (list cdr car)) ’(a b c)) 
;Value: (b c) 

Что делает (список корд автомобиль) означает? (Я знаю, что cdr и car означает в отношении ссылок на первый и весь список)

Answer 1

В коде (list cdr car) - это всего лишь перечень процедур. foo3 выберет одну процедуру из этого списка в соответствии с переданным параметром b. Во втором примере, этот фрагмент:

(foo3 #t (list cdr car)) 

... Вернется cdr потому, что первый параметр был #t, так что в конце концов мы просто оценить это:

(cdr '(a b c)) 
=> '(b c)