DMPKVSFTQFDͷ࿩ Ծ OJTIJTIJOKVDMPKVSF

!BUIPT 

ࣗݾ঺հ ‣ 5XJUUFS
!BUIPT
‣ χϟϯύεגࣜձࣾॴଐ
‣ $MPKVSFίϯτϦϏϡʔλ 

ૣ଎Ͱ͕͢ 

$MPKVSFͷҰ൪
ϜΧͭ͘ͱ͜Ζͬͯʁ 

Τϥʔϝοηʔδ ࠾༻ εΫϦϓτΛ࡞Δ೉͠͞ υΩϡϝϯτɾνϡʔτϦΞϧ ੩తܕ͕ͳ͍ $MPKVSF
TVSWFZ

ʮ$MPKVSFͷҰ൪ϜΧͭ͘ͱ͜Ζ͸ʁʯ 

Τϥʔϝοηʔδ 

‣ $MPKVSFͷΤϥʔͷ෼͔Γʹ͘͞͸Α͘ࢦఠ͞ΕΔ
‣ $MPKVSFͷ૊ࠐΈؔ਺ͷଟ͘͸ΨʔϕδΠϯΨʔϕδ Ξ΢τ
‣ Ҿ਺νΣοΫΛೖΕΔͱɺ+*5ίϯύΠϥͷ࠷దԽΛ ્֐͠ɺύϑΥʔϚϯεʹӨڹ͢ΔͨΊ 

Կ͕ωοΫ͔ʁ ‣ ύϑΥʔϚϯε໘͔Βߟ͑Δͱ࣮ߦ࣌ͷνΣοΫ͸ ۃྗආ͚͍ͨ
‣ ͔͠͠ɺ੩తܕ͕ͳ͍Ҏ্ίϯύΠϧ͚࣌ͩͰνΣο Ϋ͖͠Δͷ͸೉͍͠
‣ ։ൃ͚࣌ͩΦϯʹͰ͖ΔҾ਺νΣοΫͷ࢓૊Έ͕͋ Ε͹͍͍ 

DMPKVSFTQFD 

DMPKVSFTQFD ‣ ࣍ظϦϦʔε$MPKVSF
Ͱͷಋೖ͕ਐΊΒΕ͍ͯΔ৽ػೳ
‣ ੩తܕͰͳ͘ɺड़ޠͷ૊Έ߹ΘͤʹΑͬͯσʔλܕͷ࢓༷ Λهड़͢Δ
‣ Ұ౓࢓༷ εϖοΫ Λॻ͚͹ҰཻͰԿ౓΋͓͍͍͠
 υΩϡϝϯςʔγϣϯ
 ܖ໿ϓϩάϥϛϯά
 ϓϩύςΟϕʔεςετ
 ϚΫϩͷߏจνΣοΫ 

DMPKVSFTQFDͷ࢖͍ํ ‣ [org.clojure/clojure “1.9.0-alphaXX”] Λ
:dependencies
ʹ௥Ճ
‣ ࠷৽൛͸BMQIB
ݱࡏ
‣ (require ‘[clojure.spec :as s]) 

DMPKVSFTQFDೖ໳ 

ड़ޠ ‣ ड़ޠ CPPMΛฦؔ͢਺ ͸ͦͷ··ͰεϖοΫͱͯ͠ ࢖͑Δ user=> (s/valid? integer? 42) true user=> (s/valid? integer? “foo”) false 

WBMJE FYQMBJO ‣ WBMJE ͸εϖοΫΛຬ͔ͨ͢Ͳ͏͔Λฦ͢
‣ FYQMBJO͸εϖοΫΛຬͨ͞ͳ͍ՕॴΛࢦఠ͢Δ user=> (s/valid? integer? “foo”) false user=> (s/explain integer? “foo”) val: "foo" fails predicate: :clojure.spec/unknown nil user=> (s/explain integer? 42) Success! nil 

εϖοΫͷ߹੒ ‣ BOE΍PSΛ࢖ͬͯෳ਺ͷεϖοΫΛ૊Έ߹ΘͤՄೳ user=> (s/valid? (s/and integer? even?) 0) true user=> (s/valid? (s/and integer? even?) 1) false user=> (s/valid? (s/or :int integer? :str string?) “foo”) true 

εϖοΫʹ໊લΛ͚ͭΔ ‣ EFGͰεϖοΫʹ໊લΛ͚ͭΔ͜ͱ͕Ͱ͖Δ
‣ εϖοΫࣗମΛ࠶ར༻Ͱ͖Δ user=> (s/def ::answer-to-everything (fn [x] (= x 42)) :user/answer-to-everything user=> (s/valid? ::answer-to-everything 43) false user=> (s/valid? ::answer-to-everything 42) true 

ίϨΫγϣϯͷεϖοΫ ‣ coll-ofmap-ofͰίϨΫγϣϯͷཁૉ͕εϖοΫ Λຬ͍ͨͯ͠Δ͔νΣοΫͰ͖Δ user=> (s/valid? (s/coll-of integer?) [1 2 3]) true user=> (s/valid? (s/coll-of integer?) [1 :a]) false user=> (s/valid? (s/map-of keyword? integer?) {:a 0, :b 1}) true user=> (s/valid? (s/map-of keyword? integer?) {:a 0, :b “foo”}) false 

ίϨΫγϣϯͷεϖοΫ ‣ ΩʔʹΑͬͯ஋ͷܕ͕ҧ͏ϚοϓͷεϖοΫ΋ఆٛՄೳ user=> (s/def ::x integer?) :user/x user=> (s/def ::y string?) :user/y user=> (s/explain (s/keys :req-un [::x ::y]) {:x 1, :y 2}) In: [:y] val: 2 fails spec: :user/y at: [:y] predicate: string? nil user=> (s/valid? (s/keys :req-un [::x ::y]) {:x 1, :y “foo”}) true 

DMPKVSFTQFDʹΑΔ
ܖ໿ϓϩάϥϛϯά 

ܖ໿ϓϩάϥϛϯάͱ͸ ‣ ؔ਺ͷݺͼग़͠ʹؔͯ͠ɺࣄલ৚݅ɾࣄޙ৚݅ɾෆ ม৚݅ΛܾΊɺݺͼग़͢ଆͱݺͼग़͞ΕΔଆͷٛ຿ Λ໌֬ʹ͢Δख๏
 ݺͼग़͢ଆɿ
ؔ਺Λݺͼग़͢લʹࣄલ৚݅ͱෆม৚݅Λຬͨٛ͢຿Λෛ͏
 ݺͼग़͞Εͨଆɿ
ؔ਺͔Β໭ͬͨޙʹࣄޙ৚݅ͱෆม৚݅Λຬͨٛ͢຿Λෛ͏ 

ؔ਺ʹର͢ΔεϖοΫ ‣ fizzbuzzؔ਺ͷεϖοΫ͸্ͷΑ͏ʹఆٛͰ͖Δ
‣ :args
:ret͕ͦΕͧΕࣄલ৚݅ɾࣄޙ৚݅ʹରԠ (s/fdef fizzbuzz :args (s/cat :n (s/and integer? #(> % 0))) :ret (s/or :int integer? :key keyword?)) (defn fizzbuzz [n] (cond (= (mod n 15) 0) :fizzbuzz (= (mod n 5) 0) :buzz (= (mod n 3) 0) “fizz” ;;←όά :else n)) 

JOTUSVNFOU ‣ ؔ਺ʹҾ਺͕εϖοΫΛຬ͍ͨͯ͠Δ͔ͷνΣοΫ ΛΦϯɾΦϑͰ͖Δ user=> (require ‘[clojure.spec.test :as t]) nil user=> (t/instrument) [user/fizzbuzz] user=> (fizzbuzz 15) “fizzbuzz” user=> (fizzbuzz “foo”) ExceptionInfo Call to #'user/fizzbuzz did not conform to spec: In: [0] val: "foo" fails at: [:args :n] predicate: integer? :clojure.spec/args ("foo") … user=> 

DIFDL ‣ Ҿ਺ͷεϖοΫΛຬͨ͢஋Λࣗಈੜ੒ͯ͠ɺͦͷ஋Λؔ਺ʹ ౉ͨ݁͠Ռ͕໭Γ஋ͷεϖοΫΛຬ͔ͨ͢νΣοΫ͢Δ user=> (t/check) ({:spec … :clojure.spec.test.check/ret {:result #error {:cause "Specification-based check failed” :data {:clojure.spec/problems (… {:path [:ret :key], :pred keyword?, :val “fizz", :via [], :in [], :clojure.spec.test/args (3), :clojure.spec/failure :check-failed}…)} user=> 

DIFDL ‣ Ҿ਺ͷεϖοΫΛຬͨ͢஋Λࣗಈੜ੒ͯ͠ɺͦͷ஋Λؔ਺ʹ ౉ͨ݁͠Ռ͕໭Γ஋ͷεϖοΫΛຬ͔ͨ͢νΣοΫ͢Δ user=> (t/check) ({:spec … :clojure.spec.test.check/ret {:result #error {:cause "Specification-based check failed” :data {:clojure.spec/problems (… {:path [:ret :key], :pred keyword?, :val “fizz", :via [], :in [], :clojure.spec.test/args (3), :clojure.spec/failure :check-failed}…)} user=> Ͱݺͼग़ͨ͠ͱ͖ʹ
ࣦഊ͢Δ͜ͱΛݕग़





DMPKVSFTQFDʹΑΔ
ϓϩύςΟϕʔεςετ 

ϓϩύςΟϕʔεςετͱ͸ ‣ ී௨ͷςετ FYBNQMFCBTFE
UFTUJOH ͷΑ͏ʹɺ ۩ମతͳςετέʔεʹର͢ΔςετͰ͸ͳ͘ɺ೚ ҙͷೖྗʹରͯ͠੒Γཱͭੑ࣭Λهड़ͨ͠ςετ
‣ ೖྗ஋ͷϥϯμϜʹͨ͘͞Μੜ੒͠ɺͦͷ஋ʹର͠ ͯςετΛ࣮ߦ͢Δ
‣ )BTLFMMͷ2VJDL$IFDL͕༗໊
‣ $MPKVSFͰ͸UFTUDIFDLΛ࢖͏ͷ͕ελϯμʔυ 

p[[CV[[ؔ਺ͷςετ ‣ εϖοΫΛຬͨ͢஋Λࣗಈੜ੒͠ɺ͢΂ͯͷ஋ʹର ͯ͠ੑ࣭͕੒Γཱ͔ͭͲ͏͔νΣοΫ͢Δ (ns fizzbuzz-test (:require [clojure.test.check.clojure-test :refer [defspec]] [clojure.test.check.properties :as prop] [clojure.spec :as s] [fizzbuzz :as fb])) (defspec fizzbuzz-prop (prop/for-all [n (s/gen (s/and integer? #(> % 0)))] (let [v (fb/fizzbuzz n)] (cond (= (mod n 3) 0) (contains? #{:fizz :fizzbuzz} v) (= (mod n 5) 0) (contains? #{:buzz :fizzbuzz} v) :else (= n v))))) 

·ͱΊ ‣ DMPKVSFTQFD͸σʔλܕ΍ؔ਺ͷ࢓༷Λड़ޠͷ૊Έ ߹ΘͤͰهड़͢Δํ๏Λఏڙ͢Δ
‣ Ұ౓εϖοΫΛॻ͘ͱɺίʔσΟϯάத͚ͩͰͳ͘ɺ υΩϡϝϯςʔγϣϯ΍ςετ౳ʹ΋໾ཱͯΒΕΔ
‣ $MPKVSFͷ૊ࠐΈؔ਺ʹର͢ΔεϖοΫ͕༻ҙ͞Ε Ε͹Τϥʔϝοηʔδ΋վળ͞ΕΔ͔΋ʁ 

ࠓ೔࿩͞ͳ͔ͬͨ͜ͱ ‣ TDPOGPSN
‣ γʔέϯεʹର͢ΔεϖοΫ
‣ εϖοΫʹΑΔϚΫϩͷߏจղੳ ଓ͖͸ͷ-JTQ
NFFUVQͰʂʂ