clojure - giải quyết một biểu tượng bên trong let

Question

Làm cách nào để viết một hàm để giải quyết một biểu tượng trong một môi trường từ vựng?

(let [foo some-var] 
    (let [sym 'foo] 
    (resolve-sym sym))) 

Tôi muốn nhận được var 'foo bị ràng buộc.

Answer 1

Tôi không hoàn toàn chắc chắn lý do tại sao tôi muốn một cái gì đó như thế này, nhưng có vẻ như nó chắc chắn có thể được thực hiện. từ http://clojuredocs.org/circumspec/circumspec.should/local-bindings

(defmacro local-bindings 
    "Produces a map of the names of local bindings to their values. 
    For now, strip out gensymed locals. TODO: use 1.2 feature." 
    [] 
    (let [symbols (remove #(.contains (str %) "_") 
         (map key @clojure.lang.Compiler/LOCAL_ENV))] 
    (zipmap (map (fn [sym] `(quote ~sym)) symbols) symbols))) 


(let [foo 1 bar 2] 
    (local-bindings)) 
=> {foo 1, bar 2} 

Answer 2

Đây là cả hơn, ít hơn và nghiêng tới hơn bạn muốn:

(define (make-let-core name value body) 
    `(CORE LET ,name ,value ,body)) 

(define (env-extend env a-name its-denotation) 
    (lambda (name) 
    (if (equal? name a-name) 
     its-denotation 
     (if env (env name) 'unknown)))) 

(define (env-base) 
    (lambda (name) 
    (if (member name '(let resolve-sym #| ... |#)) 
     'syntactic-keyword 
     'unknown))) 

(define (expand exp env) 
    (cond ((literal? exp) ...) 
     ((symbol? exp) ...) 
     ((list? exp) 
     (let ((operator (car exp)) 
       (operands (cdr exp))) 
      (cond ((symbol? operator) 
        (case (env operator) 
        ((syntactic-keyword) 
        (case operator 
         ((let) 
         (let ((bound-name (caar operands)) 
           (bound-value (cadar operands)) 
           (body (cdr operands))) 
          (make-let-core bound-name 
             (expand bound-value env) 
             (expand body 
               (env-extend bound-name 
                  'variable))))) 
         ((resolve-sym) 
         (let ((name (car operands))) 
          ;; right here 
          ...)) 
         (...))) 
        ((variable) ;; function call 
        ...) 

        ((unknown) ;; syntax error 
        ...))) 

       ((list? operator) ;; function call 
        ...) 

       (else ;; syntax error 
        ...)))) 
     (else ;; syntax error 
     ...)))