Объявление локальной переменной в функции из другого списка

Question

Я пытаюсь определить элемент в соответствии с заданными значениями из другого списка

(define foo ; not working but this is general idea 
    (λ (x ys) 
     (for/list ([y ys]) 
     (if (eq? x (car y)) 
      (let ('x (cdr y)) 
       (boolean? x)) ; x not passed, returns #f 
      '())))) ; or use x to do something like (eval ('and x #t)) 

Желаемый результат:

>(foo 'a '((a . true) (b . false))) 
#t 

показать булевой (cdr y) на самом деле переходит на x (только пример, который я пытаюсь)

Алгоритм - поиск по ys, для которого (car y) из ea ch в ys, равным a, и установите значение boolean (cdr y) на a. Поэтому приведенный выше x должен иметь значение boolean #t.

Не совсем понятно, почему это не работает.

Answer 1

Я прилагаю все усилия, чтобы понять вашу проблему, но это не совсем ясно, какова ваша цель.

Похоже, вы пытаетесь вернуть одно значение #t/#f, но если вы посмотрите на для for/list, вы увидите, что он всегда будет возвращать список.

Давайте попробуем что-то вроде этого вместо

(define (foo x ys) 
    (let loop ([ys ys]) 
    (cond [(empty? ys) '()] 
      [(eq? x (caar ys)) (cdar ys)] 
      [else (loop (cdr ys))]))) 

(foo 'a '((a . true) (b . false))) ;=> 'true 
(foo 'b '((a . true) (b . false))) ;=> 'false 

Однако, если вы хотите конвертировать 'true в #t и 'false к #f, вы можете добавить вспомогательную функцию, как так

(define (bool x) 
    (eq? 'true x)) 

(define (foo x ys) 
    (let loop ([ys ys]) 
    (cond [(empty? ys) '()] 
      [(eq? x (caar ys)) (bool (cdar ys))] 
      [else (loop (cdr ys))]))) 

(foo 'a '((a . true) (b . false))) ;=> #t 
(foo 'b '((a . true) (b . false))) ;=> #f