optimization - 具有局部变量的Clojure前提

Question

有什么方法可以存储在前提条件下执行的计算结果，以便可以在实际函数体中使用它。

这太糟糕了（昂贵的计算运行两次）：

(defn bar [x]                                                                           
  {:pre [(> (costly-computation x) 1337)]}                                                
  (costly-computation x))

我想按照这些方针做点事。但这是行不通的。

(defn smartbar [x]
  (let [res (costly-computation x)]                                                       
    {:pre [(> res 1337)]}
    res))

Answer 1

您有多种方法可以解决此问题。例如，您可以在（bar）函数之外计算（cost-compute x），并将其作为参数传递给（bar）函数。

或者，您可以在（bar）函数中计算（cost-compute x），并在那里验证，没有{：pre}条件。

或编写一个Macro来完成您想要的！

您的smartbar无法正常工作，因为这不是defn宏的创建方式。
在REPL中尝试以下操作：

(source defn)