Question

我有一些函数接收var作为参数，我想以标准方式标记参数名称，以表示它是一个var（所以你记得使用@来获取它的值）。

是否有一些命名约定？你还会使用* ...... *的东西吗？

（如果你想知道用例是将一个简单的Scheme解释器实现为eval函数，我在emacs / cider中反复调用，所以我需要在整个repl交互中保持“环境”）

编辑 - 代码示例

;; given a scheme expression exp and an environment env
;; evaluate it based on the expression type
;; (note that env is a var)
(defmulti eval-exp (fn [exp env] (-dispatch exp)))

;; method to evaluate variables
;; (note that env is a var)
(defmethod eval-exp :variable [exp env]
    (lookup-variable-value exp @env))

;; helper function to lookup var in environment env
;; (note that env is a value)
(defn lookup-variable-value [var env]
     (if (= env the-empty-environment)
         (throw (Exception. (str "Unbound variable " var)))
         (if-let [value (get-var var env)]
             value
             (recur var (enclosing-environment env)))))

我想将参数env（var）与参数env（值）区分开来

Answer 1

或许，您希望标记您的变量应该实现clojure.lang.IDeref接口，即它是ref，atom或任何其他deref能力的东西。

据我所知，在Clojure中没有特定的约定来命名deref能变量。当然，您总是可以创建自己的约定，但我可以看到另一种可能的解决方案。

考虑使用标准类型提示，例如：

(defmethod eval-exp :variable [exp ^IDeref env]
  (lookup-variable-value exp @env))

甚至

(defmethod eval-exp :variable [exp ^Atom env]
  (lookup-variable-value exp @env))

类型提示旨在帮助Clojure编译器优化代码以避免反射，但没有人说你不能使用它们来减少代码中的人为错误。

NB 请勿忘记导入clojure.lang.IDeref / clojure.lang.Atom，以使用简短IDeref / Atom代替其全名。

如何表示一个包含var

1 个答案: