????????????????????????漲??
???????????????a???????????identity-nat???????????a??
????(def test-identity-nat
????(prop/for-all [a (s/gen nat-int?)]
????(= a (identity-nat a))))
????(tc/quick-check 100 test-identity-nat)
????-> {:result false??
????:seed 1477362396044??
????:failing-size 0??
????:num-tests 1??
????:fail [0]??
????:shrunk {:total-nodes-visited 0??
????:depth 0??
????:result false??
????:smallest [0]}}
???????????????100??????????????nat-int??????в????????????з????????????????????????0?????????????С????[0]?????????С???????????????????????????????????????
????????????????????????????????У??????????????????????????????????100???????????????????????????????????100?????????????????????????????????????????????????????????????????——?????С??????????????
????Clojure???????Rich Hickey???Simple Made Easy???????????????????????Clojure.spec???и????????????????????
????(s/fdef identity-nat
????:args (s/cat :a nat-int?) ; ???????????
????:ret nat-int?             ; ??????????
????:fn #(= (:ret %) (-> % :args :a))) ; ??κ???????????
????(stest/check `identity-nat)
????fdef?????????identity-nat???????????????????????????1000????????????????????????????????????????????????????
???????TDD
????TDD??????????????????????????????????????????????????в?????????????????????????￡???????????????????????????????????????????????е???????裬????????????????????????
????????????????????????????????????????????????????????????????????????????????????????????guai????quan?????????????????????????·???????????????????????????????????????????????????????????????????????????????д??????????????????????????κθ????????????????????????????仰????????????????????????????????????????????????￡??????????????????????????????????????????????????????????????????????Ρ?
??????????????????????????????????????????????????????????????????????TDD?????“????????”??Show your work?????????????????????“?????????“??Check your work??????????????
????С??
???????????д??????????????
????1???????????????????
????2?????????е????????????
?????????????????????????????????????????????????????????????????????????????????????????????????????????