Tweet
Tweet

Slide 1

Slide 1 text

$MPKVSF֓ཁ঺հ -JTQNFFUVQPO !BUIPT

Slide 2

Slide 2 text

֓ཁ ‣ ઌ೔  ɺ3$͕ϦϦʔε  BMQIBϦϦʔε  CFUBϦϦʔε  3$ϦϦʔε ‣ pOBMϦϦʔε΋໨લͳͷͰɺͰͷओཁͳมߋʹ ͍͓ͭͯ͞Β͍

Slide 3

Slide 3 text

$MPKVSFͷओཁͳมߋ ‣ Τϥʔϝοηʔδͷվળ ‣ EBUBGZ ‣ ϝλσʔλʹΑΔϓϩτίϧͷ֦ு ‣ QSFQM ‣ UBQ

Slide 4

Slide 4 text

Τϥʔϝοηʔδͷվળ ‣ ࠓճͷϦϦʔεʹ͓͚ΔҰ൪ͷ໨ۄ ‣ Τϥʔϝοηʔδͱͯ͠ɺϢʔβʹͲ͏͍ͬͨ৘ใΛఏࣔ ͢Δ͔Λൈຊతʹ੔ཧ ‣ ඪ४3&1-ͰͷΤϥʔϝοηʔδվળ͚ͩͰͳ͘ଞͷ։ൃ ؀ڥͰ΋Τϥʔ৘ใΛศརʹ׆༻Ͱ͖ΔΑ͏ͳ"1*Λఏڙ ‣ ·ͩඪ४ͷΤϥʔϝοηʔδ͸ඞͣ͠΋෼͔Γ΍͍͢Θ͚ Ͱ͸ͳ͍ͷͰɺࠓޙͷ։ൃ؀ڥଆͷվળ͕ظ଴͞ΕΔ

Slide 5

Slide 5 text

Τϥʔͷ෼͔Γʹ͘͞ͷݪҼ ‣ $MPKVSFͷଟ͘ͷؔ਺͸ΨʔϕδΠϯɾΨʔϕδΞ΢τ  Ҿ਺νΣοΫ͕ͳ͍ͨΊɺClassCastException΍ IllegalArgumentException౳ɺ௚઀తʹΤϥʔՕॴΛࣔ ͞ͳ͍Τϥʔ͕ग़ͯ͠·͏  DMPKVSFTQFDʹΑͬͯղܾ͞Ε͍ͯ͘ݟࠐΈ ʙ  ‣ Τϥʔͷ৘ใྔ͕ଟ͗ͯ͢Կ͕ॏཁͳͷ͔෼͔Γʹ͍͘  ಛʹTQFDͷΤϥʔ৘ใ͕๲େʹͳΓ͕ͪ ‣ ॲཧܥଆͷݺͼग़͕͠ελοΫτϨʔεʹฆΕࠐΜͰ͠·͏  ॲཧܥ͕Ͳ͜ͰΤϥʔΛݟ͚͔ͭͨ͸ॏཁͰ͸ͳ͍

Slide 6

Slide 6 text

Τϥʔͷ੔ཧ ‣ ͲͷϑΣʔζͰग़ͨΤϥʔ͔Λ෼ྨɺϑΣʔζຖʹ༗༻ͳ৘ใΛ࣋ͨͤΔ  ϑΣʔζɿϦʔυ࣌ɺϚΫϩߏจνΣοΫ࣌ɺϚΫϩల։࣌ɺίϯύΠϧ ࣌ɺ࣮ߦ࣌ɺ݁Ռग़ྗ࣌ ‣ CompilerException ࣮ߦ࣌ΑΓલͷϑΣʔζͷΤϥʔ ͔Βex-data ͰҎԼͷ৘ใΛڞ௨ͯ͠औಘՄೳʹ  :clojure.error/phase Τϥʔ͕ൃੜͨ͠ϑΣʔζ   :clojure.error/source Τϥʔ͕ൃੜͨ͠ιʔεϑΝΠϧ   :clojure.error/line Τϥʔ͕ൃੜͨ͠ιʔεϑΝΠϧͷߦ൪߸   :clojure.error/column Τϥʔ͕ൃੜͨ͠ιʔεϑΝΠϧͷܻ   :clojure.error/symbol ΤϥʔͷݪҼʹͳͬͨγϯϘϧ   :clojure.error/class ΤϥʔΫϥε໊   :clojure.error/cause Τϥʔϝοηʔδ   :clojure.error/spec εϖοΫΤϥʔ ͋Ε͹

Slide 7

Slide 7 text

ॏཁ౓ͷ௿͍৘ใͷ࡟ݮ εϖοΫΤϥʔ σʔλ ౳ ਓؒʹͱͬͯ༗ӹͰͳ͍ ৘ใ͸දࣔ͠ͳ͍Α͏ʹ ͷϚΫϩߏจΤϥʔ ͷϚΫϩߏจΤϥʔ

Slide 8

Slide 8 text

ΤϥʔՕॴͷࢦఠ ‣ ϦʔυΤϥʔ ‣ ίϯύΠϧΤϥʔ ʁ ຊ౰ʹ஌Γ͍ͨͷ͸ॲཧܥ͕ͲͷॲཧதʹΤϥʔΛ ݟ͚͔ͭͨͰ͸ͳ͘ίʔυͷͲ͜ʹΤϥʔ͕͔͋ͬͨ ʁ

Slide 9

Slide 9 text

ex-triageex-str ‣ ࣮ߦ࣌Τϥʔ͸Ұൠʹ͸+BWBͷྫ֎ɾΤϥʔͷՄೳੑ΋  +BWBͷྫ֎ɾΤϥʔͷதʹ͸ɺ$MPKVSFʹ౎߹ͷ͍͍ଐੑΛ ࣋ͨͳ͍΋ͷ΋͋Δ ‣ ex-triage  ͋ΒΏΔΤϥʔΛ౷ҰతͳϑΥʔϚοτͷϚοϓσʔλʹ ม׵͢Δ  ϦϞʔτͰͭͳ͕Δ؀ڥͰΤϥʔ৘ใΛ΍ΓͱΓ͢ΔϑΥʔ Ϛοτͱͯ͠࢖͑Δ ‣ ex-str  ex-triageΛจࣈྻԽ͢Δඪ४తͳํ๏

Slide 10

Slide 10 text

EBUBGZ ‣ DMPKVSFEBUBGZ ‣ ৽͍͠ϓϩτίϧDatafiableͱNavigable͕௥Ճ ‣ ͲͪΒͷϓϩτίϧ΋ৄࡉͳઆ໌͸·ͩͳ͍ ‣ جຊతʹ͸ΦϒδΣΫτΛʮσʔλԽʯ͢ΔͨΊͷ΋ͷ

Slide 11

Slide 11 text

EBUBGZ ‣ :extend-via-metadataʹ͍ͭͯ͸ޙड़ (defprotocol Datafiable :extend-via-metadata true (datafy [o] “return a representation of o as data”)) (defprotocol Navigable :extend-via-metadata true (nav [coll k v] "return v in the context of coll and k (a key/index or nil)"))

Slide 12

Slide 12 text

EBUBGZͷ࢖͍ํ ‣ ݱ࣌఺Ͱ͸ɺΫϥε΍ྫ֎౳গ਺ͷ࣮૷͕ఏڙ͞Ε͍ͯΔͷΈ (require ‘[clojure.datafy :as datafy]) (datafy/datafy java.io.Closeable) ;=> {:bases #{java.lang.AutoCloseable}, :flags #{:interface :public :abstract}, :members {close [#clojure.reflect.Method{…}, :name java.io.Closeable} (datafy/datafy (ex-info “error” {})) ;=> {:cause “error!!”, :data {:value 42}, :trace [[user$eval199 invokeStatic "NO_SOURCE_FILE" 1] [user$eval199 invoke "NO_SOURCE_FILE" 1] [clojure.lang.Compiler eval "Compiler.java" 7176] …] :via [{:type clojure.lang.ExceptionInfo, :message “error!!", :data {:value 42}, :at [user$eval199 invokeStatic "NO_SOURCE_FILE" 1]}]}

Slide 13

Slide 13 text

EBUBGZͷิ଍ ‣ ʮσʔλԽʯͱ͍͏ͱ༻్͕෯޿͘ײ͡Δ͕ɺ Throwable->mapͷΑ͏ʹɺΦϒδΣΫτͷΠϯεϖΫ γϣϯ༻్͕ϝΠϯʹࢥ͑Δ ݸਓతײ૝   SFJGZͰ࡞ͬͨΦϒδΣΫτ͕಺෦తʹอ࣋͢Δ৘ใͷެ։  ಛʹεϖοΫΦϒδΣΫτͷΠϯεϖΫγϣϯɺτϥόʔε ‣ ΦϒδΣΫτͷγϦΞϥΠζ౳ͷ༻్͸͋·Γ૝ఆ͞Εͯ ͍ͳ͍͜ͱ͕ެࣜʹ͸΄ͷΊ͔͞Ε͍ͯΔ

Slide 14

Slide 14 text

ϝλσʔλʹΑΔϓϩτίϧͷ֦ு ‣ EBUBGZಋೖͷաఔͰऔΓೖΕΒΕͨ ‣ ͜Ε·Ͱϓϩτίϧ͸Ϩίʔυ΍σʔλܕͰ௚઀࣮૷͢Δ ͔ɺextend-protocolextend-typeͰ֦ு͢Δ͔ͩͬͨ ‣ ͔Β͸ϝλσʔλʹΑΓϓϩτίϧΛ֦ுͰ͖ΔΑ͏ ʹͳΓɺΦϒδΣΫτຖͷଟ૬తͳৼΔ෣͍ΛఆٛՄೳʹ

Slide 15

Slide 15 text

ैདྷͷϓϩτίϧͷར༻๏ (defprotocol P (m [this])) ;; ϨίʔυʹΑΔ௚઀࣮૷ (defrecord R [] P (m [this] 42)) (m (->R)) ;=> 42 ;; extend-protocol/extend-typeʹΑΔ֦ு (extend-protocol P Long (m [this] this)) (m 101) ;=> 101

Slide 16

Slide 16 text

ϝλσʔλʹΑΔ֦ு ‣ :extend-via-metadata true Λࢦఆ͢Δͱɺϓϩτίϧ͕ ϝλσʔλʹΑΓ֦ுՄೳʹ (defprotocol P :extend-via-metadata true (m [this])) (def obj (with-meta {:x 42} {`m (fn [this] (:x this))})) (m obj) ;=> 42 (m (with-meta obj {`m (fn [this] 43)})) ;=> 43

Slide 17

Slide 17 text

ϝλσʔλʹΑΔ֦ுͷ஫ҙ఺ ‣ ϓϩτίϧͷఆٛ࣌ʹ:extend-via-metadataͷࢦఆ͕ ͳ͚Ε͹ϝλσʔλʹΑΔ֦ு͸༗ޮʹͳΒͳ͍ ‣ ϓϩτίϧͷ࣮૷ͷ༏ઌॱҐ͸  ϨίʔυɾσʔλܕʹΑΔ௚઀࣮૷  ϝλσʔλʹΑΔ֦ு  extend-protocolextend-typeʹΑΔ֦ு ‣ ϝλσʔλʹΑΔ֦ுΛ༗ޮʹͨ͠ϓϩτίϧͷϝιου ݺͼग़͠͸ੑೳ໘ͰͷΦʔόʔϔου͕͋Δ

Slide 18

Slide 18 text

QSFQM ‣ lQSPHSBNNBCMFz3&1- ‣ ৽͍͠ετϦʔϜϕʔε3&1- ‣ $MPKVSFϑΥʔϜΛೖྗʹͱΓɺߏ଄Խ͞Εͨग़ྗΛฦ͢ ‣ Ͱಋೖ͞Εͨιέοταʔό͔Βར༻͠ɺϦϞʔτ 3&1-Λ࣮ݱ͢ΔͨΊʹ࢖͏͜ͱΛ૝ఆ͞Ε͍ͯΔ ‣ 6OSFQMϓϩτίϧʹྨࣅ͢Δ෦෼͕ଟ͍  IUUQTHJUIVCDPN6OSFQMVOSFQM

Slide 19

Slide 19 text

QSFQMͷ࢖͍ํ ‣ ιέοταʔόͷىಈ ‣ ΫϥΠΞϯτ͔Βͷ઀ଓ ‣ $ clojure -J-Dclojure.server.repl="{:port 5555 :accept clojure.core.server/io-prepl}" $ nc localhost 5555 (map inc [1 2 3]) {:tag :ret, :val "(2 3 4)", :ns "user", :ms 19, :form "(map inc [1 2 3])”} (dotimes [i 3] (Thread/sleep 1000) (println i)) {:tag :out, :val "0\n"} {:tag :out, :val "1\n"} {:tag :out, :val "2\n"} {:tag :ret, :val "nil", :ns "user", :ms 3214, :form "(dotimes [i 3] (Thread/sleep 1000) (println i))”}

Slide 20

Slide 20 text

ैདྷͷ3&1-ͷ໰୊఺ ‣ ैདྷͷ3&1-Λιέοταʔό͔Β࢖͏͜ͱΛߟ͑Δͱʮධ Ձ݁Ռ͔͠ฦͤͳ͍ʯ͜ͱͷ͕خ͘͠ͳ͍͜ͱ΋ ‣ ͨͱ͑͹ʜ  ධՁ͍ͯ͠Δ్தͰग़ྗ݁Ռ౳ɺධՁ݁ՌҎ֎ͷ΋ͷΛฦ͢ ͷ͕೉͍͠  ྫ֎ɾΤϥʔ͸ධՁ݁Ռͱ͸ผʹѻ͍͍ͨɺΫϥΠΞϯτଆ Ͱৄࡉͳ৘ใΛࣗ༝ʹऔಘ͍ͨ͠  ௕͍γʔέϯεͷলུදࣔɾల։ɺϚϧνϝσ ΟΞ ը૾ ͷ 3&1-Ͱͷදࣔ౳ɺΫϥΠΞϯτ΁ͷϦονͳػೳͷఏڙ ‣ ݱঢ়Ͱ͸ɺ͜ΕΒͷ໰୊͸O3&1-Ͱղܾ͞Ε͍ͯΔ

Slide 21

Slide 21 text

O3&1-ͱͷҧ͍ ‣ O3&1-͸ೖྗ΋ߏ଄Խ͞Εͨϝοηʔδ  ϋϯυϥʹϛυϧ΢ΣΞΛ௥Ճ͢Δ͜ͱͰॲཧͰ͖Δϝο ηʔδͷछྨΛ૿΍͢࢓૊Έ  O3&1-αʔόىಈޙʹػೳΛ௥Ճ͢Δͷ͸೉͍͠ ‣ QSFQMͷೖྗ͸୯ͳΔϑΥʔϜ  ػೳΛ௥Ճ͠Α͏ͱࢥ͑͹ͦͷػೳΛ࣮ݱ͢ΔϑΥʔϜΛ ྲྀ͠ࠐΉ͚ͩ  ΫϥΠΞϯτଆ͔ΒඞཁͳػೳΛ޷͖ͳΑ͏ʹ௥ՃͰ͖Δ l3&1-UIFVMUJNBUFDPOUFOUOFHPUJBUJPOQSPUPDPMz   DG6OSFQMCMPC

Slide 22

Slide 22 text

͞·͟·ͳQSFQM࣮૷ ‣ QSFQMɿඪ४ͷQSFQM ‣ JPQSFQM  ඪ४ೖग़ྗܦ༝Ͱ΍ΓͱΓ͢Δ࣮૷  ιέοταʔό͔Βݺͼग़͞ΕΔ͜ͱΛ૝ఆ ‣ SFNPUFQSFQM  ϦϞʔτͰ଴ͪड͚ΔQSFQMαʔόʹ઀ଓ͢Δ࣮૷

Slide 23

Slide 23 text

UBQ ‣ άϩʔόϧʹར༻ՄೳͳγϯϓϧͳΠϕϯτγεςϜ ‣ σόοά΍ϩΪϯά౳ͷ༻్Λҙਤ͍ͯ͠Δ ‣ QSFQMಋೖʹ൐ͬͯऔΓೖΕΒΕͨ

Slide 24

Slide 24 text

UBQͷ࢖͍ํ ‣ add-tapremove-tapͰϋϯυϥؔ਺Λొ࿥ɾ࡟আ ‣ tap>Ͱ஋Λૹ৴ɺ͢΂ͯͷϋϯυϥؔ਺Ͱ஋͕ॲཧ͞ΕΔ (defn log [x] (println “tapped value: “ x)) (add-tap log) (tap> 1) ;; tapped value: 1 ;=> 1 (tap> 2) ;; tapped value: 2 ;=> 2 (remove-tap log) (tap> 3) ;=> 3

Slide 25

Slide 25 text

QSFQMͰͷUBQ ‣ UBQ͸QSFQM্Ͱಛผʹॲཧ͞ΕΔ ‣ QSFQM্Ͱσόοά΍ϩΪϯάɺϓϩάϨεͷදࣔ౳ʹར༻ Ͱ͖Δ $ nc localhost 5555 (dotimes [i 5] (Thread/sleep 1000) (tap> i)) {:tag :tap, :val "0"} {:tag :tap, :val "1"} {:tag :tap, :val "2"} {:tag :tap, :val "3"} {:tag :tap, :val "4"} {:tag :ret, :val "nil", :ns "user", :ms 5216, :form "(dotimes [i 5] (Thread/sleep 1000) (tap> i))"}

Slide 26

Slide 26 text

ͦͷଞͷมߋ ‣ +7.ͷ࠷খαϙʔτόʔδϣϯมߋ  ࠷খαϙʔτόʔδϣϯ͕͔Βʹ ‣ SFRVJSJOHSFTPMWF  ʮ࣮ߦ࣌ʹSFRVJSFͯ͠ݺͼग़͠ʯ͕؆୯ʹॻ͚ΔΑ͏ʹ ‣ SFBE TUSJOH  Ϧʔυ݁Ռͱͯ͠ݩͷจࣈྻදݱ΋ҰॹʹऔಘͰ͖Δ

Slide 27

Slide 27 text

·ͱΊ ‣ $MPKVSF͸ΤϥʔϝοηʔδͷվળͱQSFQMͷ௥ՃΛத ৺ͱͨ͠มߋ ‣ ݸʑͷಠཱͨ͠ػೳͱ͍͏ΑΓɺϦονͳ։ൃ؀ڥΛ։ൃ ͢ΔͨΊͷ࿮૊ΈΛఏڙ͢ΔͨΊͷϦϦʔεͱ͍͏ҹ৅ ‣ 4UBZUVOFE

Slide 28

Slide 28 text

ࢀߟจݙ ‣ DIBOHFTNE  IUUQTHJUIVCDPNDMPKVSFDMPKVSFCMPCNBTUFSDIBOHFTNE ‣ 6OSFQM  IUUQTHJUIVCDPN6OSFQMVOSFQM