Emacs Lispで関数の字句バインディングを 'eval'に渡すには？

Question

Emacs Lispでは、字句的な環境はシンボルをその値にマッピングするalistで表されます。評価関数には、eval関数の第2引数として渡すことができます。

(eval '(+ 3 var) 
     '((var . 4))) 
→ 7 

しかし、私は、ない変数、関数を渡す方法を評価者に を把握することはできません。

たとえば、次の式のいずれかがエラーを示しています。

(eval '(func 3) 
     '((func . (lambda (x) (+ 4 x))))) 
→ error: (void-function func) 
(eval '(func 3) 
     '((func . (closure (t) (x) (+ 4 x))))) 
→ error: (void-function func) 

何か助けていただければ幸いです。これについて

Answer 1

方法：

(eval '(apply func (list 3)) 
     '((func . (lambda (x) (+ 4 x))))) 

Answer 2

は、ここであなたがそれを行うことができます方法は次のとおりです。

(defun my-eval (exp var-bindings fun-bindings) 
    (eval `(cl-flet ,(mapcar (lambda (x) (list (car x) `',(cdr x))) 
          fun-bindings) 
      (let ,(mapcar (lambda (x) (list (car x) `',(cdr x))) 
         var-bindings) 
      ,exp)) 
     t)) 

または、eval年代にvar-bindingsための組み込みサポートを使用して：

(defun my-eval (exp var-bindings fun-bindings) 
    (eval `(cl-flet ,(mapcar (lambda (x) (list (car x) `',(cdr x))) 
          fun-bindings) 
      ,exp) 
     (or var-bindings t))) 

[ところで、 Emacs Lispでは、字句的環境は以下のように表現されることは必ずしも真実ではないことに注意してください。 alist：バイトコンパイルの後、レキシカル変数にはもう名前がなく、 "the"スタックに格納され、スタック内の位置によって直接アクセスされます。 ]