Возврат переменной из другой среды

Насколько я знаю, реализация проекта для вашей переменной среды зависит от вас. Поскольку это вопрос домашнего задания, я предполагаю, что вы можете делать это так, как вам нравится (я предполагаю).

Итак, скажем, вы хотите сделать свою переменную среды как список из двух элементов.

env -> ((var1,val1),(var2,val2),......,(varn.valn))

E.g.

env -> ((a,1),(b,2),(c,3))

Теперь, когда вы хотите изначально "создать" свою среду, вы просто хотите вызвать функцию, которая возвращает начальную среду, которая является пустой. Теперь наша переменная окружения env — это просто пустой список '(). Вы можете сделать такую ​​​​функцию

(define (make-empty-env)
    (lambda ()
        '()
    )
)

Теперь, чтобы добавлять, удалять и обновлять переменные в env, вы можете реализовать такие функции, как car и cdr и in-env? для базовой структуры данных.

;;; cdr like function for env
(define (cdr-env env)
    (cdr env)
)

;;; car like function for env
(define (car-env)
    (list (car env))
)

;;; Returns boolean for v in env
(define (in-env? env)
    (cond
        ((null? env)    ; If env is empty then v doesnt exist in env
            #f
        )
        ((equal? v (car (car env))) ; If first element of the first list in env matches with v 
            #t
        )
        (else       ; Recursive step to find if v is in the remaining enviornment env
            (in-env? v (cdr env))
        )
    )
)

Используя эти функции, вы можете относительно легко реализовать свои функции вставки, извлечения и обновления для env.

;;; Update the value variable v to val in env. This function assumes that you are calling it in the insert-env function
(define (update-env v val env)
    (cond 
        ((null? env)
            '()
        )
        ((equal? v (car (car env)))
            (append (cdr env) (list (list v val)))
        )
        (else
            (append 
                (update-env v val (cdr env)) 
                (list (list (car (car env)) (car (cdr (car env)))))
            )
        )
    )
)


;;; add a variable-value pair (v,val) to env, also checks if variable already exists in pair. If so then updates it
(define (insert-env v val env)
    (cond 
        ((in-env? v env)
            (update-env v val env)
        )
        (else  ; Add to env the 2 element list (v val)
            (append env (list (list v val)))
        )
    )
)

;;; Gets the value of variable v or returns an error message
(define apply-env
    (lambda (env v)
        (cond 
            ((null? env)    ; If env is empty then no variablles exist for the name v
                (error "appply-env: found empty enviroment")
            )
            ((equal? (car (car env)) v) ; First element of the first list is v [matching var found in env]
                (car (cdr (car env))) ; Second element of that list is value of v
            )
            (else       ; Else look for v in the rest of the env list
                (apply-env (cdr env) v) 
            )
        )
    )
)

ПРИМЕЧАНИЕ. Ваши реализации функций, описанных выше, для env будут зависеть от того, как вы решите реализовать структуру данных, которая будет хранить ваши привязки переменных в env. Вы можете использовать любую структуру данных, которая вам нравится. Например. Бинарное дерево. стек, очередь и т. д.

Надеюсь это поможет!

Проблема в том, что добавление не постановочное. Рассмотрим следующее, используя квазицитирование:

(define apply-env
   (lambda (env v)
       (eval `(+ ,v 0) env)
   )
)

Квазицитата эквивалентна (list '+ v 0).