clojure - 如何获取Clojure:pre和:post报告其失败值？

Question

(defn string-to-string [s1] 
  {:pre  [(string? s1)]
   :post [(string? %)]}
  s1)

我喜欢:pre和:post条件，它们使我可以更快地弄清何时将“方形钉钉入圆孔”。也许这是错误的，但是我喜欢将它们用作穷人类型检查器。不过，这不是哲学，这是一个简单的问题。

在以上代码中，我似乎应该可以轻松确定 s1是 :pre条件中的函数参数。同样， %条件中的 :post始终是函数的返回值。

我想要的是在AssertionError中这些条件中的任何一个失败时，打印 s1或 %的值。所以我得到像

(string-to-string 23)

AssertionError Assert failed: (string? s1) 
(pr-str s1) => 23 

对于AssertionError，对于每个被标识为来自函数参数列表且在失败的测试中引用的变量，它只包含一行。当函数的返回值未达到 :post条件时，我也想要类似的东西。

在尝试从AssertionError诊断时，快速发现我误用函数的方法很简单。它至少会让我知道该值是 nil还是实际值(这是我最常见的错误)。

我有一些想法可以使用宏来完成，但是我想知道是否有任何安全且全局的方法可以基本上只重新定义 (defn和 (fn以及 friend 所做的事情，以便 :pre和 :post也可以打印出导致测试失败。

Answer 1

您可以使用is中的 clojure.test 宏包装谓词

(defn string-to-string [s1] 
  {:pre  [(is (string? s1))]
   :post [(is (string? %))]}
 s1)

然后您得到:

(string-to-string 10)
;FAIL in clojure.lang.PersistentList$EmptyList@1 (scratch.clj:5)
;expected: (string? s1)
;actual: (not (string? 10))