前条件と事後条件にメッセージを含めることができます

Question

私はこれを後条件として(not (some #(= (:length %1) 0) %))としています。このように書かれて、それはかなり明らかだが、この条件が満たされないとき、私はこの取得：非常に読みやすいではありません

Assert failed: (not (some (fn* [p1__17852#] (= (:length p1__17852#) 0)) %)) 

を。事後条件や前提条件のメッセージを定義する方法はありますか？

編集1：

（外部という名前の関数が、使用して）、noahlzとnoisesmiths提案後：

(defn not-zero-length 
    [evseq] 
    (not (some (fn [item] (= (:length item) 0)) evseq))) 

(defn my-func 
    [evseq] 
    {:post [(not-zero-length %)]} 
    evseq) 

(my-func '({:length 3}{:length 0})) 

が与える：

AssertionError Assert failed: (not-zero-length %) 

たくさん明確です。

Answer 1

これは、以下のクロージャーメーリングリストthreadで説明されています。あなたは、fnマクロだけassert関数にブール値を渡し、そして、追加のメッセージ引数を渡すためのオプションのパラメータが含まれていません見ることができますclojure.core sourceを見てみると

。

だから、のように見えますこれをきれいに行う方法はまだありません。

Answer 2

上記の提案に拡大：

(not (some (fn zero-length [item] (= (:length item) 0)) %)) 

あなたは匿名関数に名前を付けるとき、そのFNを含むすべてのエラーも

読みやすくなり、どのようにそれはあなたが上記の二つ％の置換を持っているということですか？ ＃（）はネストしません。

Answer 3

同じスレッド内のpostには、意味のあるエラーメッセージを返すclojure.test/isマクロの使用が示唆されています。スレッドは2歳半で、任意の意思決定権を持つ誰もが上のコメントしなかったことを

(require '[clojure.test :refer [is]]) 

(defn get-key [m k] 
    {:pre [(is (map? m) "m is not a map!")]} 
    (m k)) 

(get-key [] 0) 

戻り

FAIL in clojure.lang.PersistentList$EmptyList@1 (form-init8401797809408331100.clj:2) 
m is not a map! 
expected: (map? m) 
    actual: (not (map? [])) 
AssertionError Assert failed: (is (map? m) "m is not a map!")