局部變量的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）函數外部的（昂貴計算x）並將其作爲參數傳遞給（bar）函數。

或者你可以計算（昂貴計算x）裏面（bar）函數並在那裏驗證，沒有{：pre}條件。

或寫一個宏來做你想要的！

您的智能酒吧是不會工作的，因爲這不是如何創建defn宏來做。
試試這個REPL裏面：

(source defn)