Scalalr

Scalaの型システムを悪用して好きな文法のDSLをScala上で実現するためのライブラリ

Transcript

1. 4DBMBMS
   
   
   4DBMBͷݴޠػߏΛѱ༻ͯ͠

   
   ࠷ڧͷ%4-Λ࡞ΔϥΠϒϥϦ !QIFOBO 4DBMB.BUTVSJ
   
   ൃදࢿྉ
2. • Twitter: @phenan • Github: phenan • ࠓ೔ͷ࿩: ໘ന͍ϥΠϒϥϦΛ࡞ͬͨͷͰ঺հ͠·͢ • ͜ͷεϥΠυ: https://speakerdeck.com/phenan/scalalr
3. ͜Μͳײ͡Ͱ%4-Λఆٛ͢Δ
4. JValue
 のDSL
5. JValue
 のDSL こうかいて これをよびたい
6. JValue
 のDSL こうかいて これをよびたい カンマくぎり
7. JValue
 のDSL JSONのObjectの かきかた Objectのそれぞれの プロパティ
8. ͜Μͳײ͡Ͱ࢖͑Δʂ
9. ͜Μͳײ͡Ͱ࢖͑Δʂ これ
10. ͜Μͳײ͡Ͱ࢖͑Δʂ これ
11. ͜Μͳײ͡Ͱ࢖͑Δʂ これ これ
12. ׅހ͕͍ͬͺ͍͋Δ
13. ׅހ͸ݴޠͷڥքΛ͋ΒΘ͢ JSON DSLに
 Scala value
 をわたしている
14. ׅހ͸ݴޠͷڥքΛද͢ Scalaに
 JSON DSLを
 わたしている 1ライナーのDSLなら()はいらない
15. ஫໨ͯ͠΄͍͠఺
16. 4DBMB
    Ͱ͜Μͳͷॻ͚͚ͨͬʁ
17. 4DBMB
    Ͱ͜Μͳͷॻ͚͚ͨͬʁ [a, b] ?
18. 4DBMB
    Ͱ͜Μͳͷॻ͚͚ͨͬʁ [a, b] ? : のあとは
 タイプでは?
19. 4DBMB
    Ͱ͜Μͳͷॻ͚͚ͨͬʁ [a, b] ? : のあとは
 タイプでは? {a, b} ?
20. ίϯύΠϥ֦ுʁ
21. ͍͍͑ɺ
 ૉͷ4DBMBͰ͢
22. 'POU
    -JHBUVSF ͜Ε࣮͸…
23. 'POU
    -JHBUVSF
24. 'POU
    -JHBUVSF 7BMJEͳ4DBMBίʔυ
25. 4DBMBMS w ઐ༻ϑΥϯτ4DBMJHͷར༻Λલఏͱͨ͠ίʔυΛੜ੒͢Δ
    w %4-ͷݟͨ໨Λࣗ༝ʹม͑ΒΕΔΑʂ΍ͬͨͶʂ
    w ίϯύΠϧʹ͕͔͔࣌ؒΔͷ͕ͪΐͬͱͨ͠໰୊

    ཁૉͷ+40/ͷ഑ྻͷίϯύΠϧʹ࣌ؒҎ্͔͔ͬͨ
    w ஍ຯʹଧͭͷ͕໘౗ͳͷͰΤσΟλαϙʔτ΋։ൃ͍ͨ͠
    w IUUQTHJUIVCDPNQIFOBOTDBMBMS
26. ٕज़తৄࡉ w !ETM
    ͸ΞϊςʔγϣϯϚΫϩ
    w JNQMJDJU
    QBSBNFUFS
    Λѱ༻ͯ͠ίϯύΠϧ࣌
    -"-3
    ߏจղੳ
    w ܕ
    ˠ
    ඇऴ୺ه߸
    จ๏Λදݱ͢Δ΍ͭ
    w ೚ҙͷ෦෼ࣜΛׅހͰׅͬͨ4DBMBࣜͰஔ͖׵͑Մೳʹ͢ΔͨΊʹ
 ͪΐͬͱෳࡶͳ͜ͱΛ͍ͯ͠Δ
    w ͜ͷख๏ΛԠ༻ͯ͠ࣈ۟ղੳΛมߋՄೳʹ͢Δ͜ͱ΋Ͱ͖Δ
    ͸ͣ
    w ΞϯΧϯϑΝϨϯεͰ࿩ͯ͠Έ͍ͨ
    ͚ͲεϥΠυ͸༻ҙͯ͠ͳ͍
27. %4-ͷ࡞Γํ w ߏจղੳثΛ࡞Δ
    ϓϩάϥϜ
    
    "45
    w ΠϯλϓϦλΛ࡞Δ
    "45
    
    ஋
28. %4-ͷ࡞Γํ w ߏจղੳثΛ࡞Δ
    ϓϩάϥϜ
    
    "45
    w ΠϯλϓϦλΛ࡞Δ
    "45
    
    ஋ ؔ਺Λݺ΂͹ྑ͍͚ͩ
29. %4-ͷ࡞Γํ w ߏจղੳثΛ࡞Δ
    ϓϩάϥϜ
    
    "45
    w ΠϯλϓϦλΛ࡞Δ
    "45
    
    ஋ ؔ਺Λݺ΂͹ྑ͍͚ͩ ͬͪ͜ΛͲ͏͢Δ͔
30. ໰୊Λ؆୯ʹ͢Δ w %4-
    Λ
    BCDEFʜ
    ͷΑ͏ʹॻ͘΋ͷͱ͢Δ
    w ϝιουݺͼग़͠
    PS
    ϑΟʔϧυࢀরͷνΣΠϯ
    w ࣮͸͜ͷه๏΋
    4DBMBMS
    ͸αϙʔτ͍ͯ͠Δ
31. Կ͕Ͱ͖Ε͹ྑ͍͔ w ϓϩάϥϜ
    BCDEFʜ
    ͷͦΕͧΕͷؔ਺ݺͼग़͠Λݕࠪ
    w ϓϩάϥϜஅย
    B
    C
    ͷ͕࣍
    D
    Ͱ͋Δͷ͸ਖ਼͍͠ೖྗ͔ʁ
    w ΦʔτϚτϯΛ࡞Δʂ S1 S2 S3 S4 B C D
32. Ϋϥεͱϝιου w ঢ়ଶ
    4
    ͷͱ͖͚ͩݺ΂Δؔ਺
    D
    Λ࡞Ε͹ྑ͍
    w Ϋϥε
    4
    ͷϝιου
    D
    ͕
    4
    ܕͷ஋Λฦͤ͹ྑ͍ S1 S2 S3 S4 B C D
33. ͜Εͩͱਖ਼نදݱ͘Β͍͔͠Ͱ͖ͳ͍ w ܾఆੑ༗ݶΦʔτϚτϯ
    w ΋͏গ͠ڧ͍ߏจղੳ͕͍ͨ͠
    w -3ߏจղੳΛ࠶ݱ͢Δʂ S1 S2 S3 S4 B C D
34. -3ΦʔτϚτϯ w ܾఆੑ༗ݶΦʔτϚτϯͷࣗવͳ֦ு
    w SFEVDF
    ࠷ۙಡΜ͍͔ͩͭ͘ͷτʔΫϯΛͳ͔ͬͨ͜ͱʹͯ͠ɺ
 ผͷτʔΫϯΛಡΜͩ͜ͱʹ͢Δ S1 S2 S3 S4 &YQS 5FSN S5 /VN /VN S6 5FSN
35. -3ΦʔτϚτϯ w ܾఆੑ༗ݶΦʔτϚτϯͷࣗવͳ֦ு
    w SFEVDF
    ࠷ۙಡΜ͍͔ͩͭ͘ͷτʔΫϯΛͳ͔ͬͨ͜ͱʹͯ͠ɺ
 ผͷτʔΫϯΛಡΜͩ͜ͱʹ͢Δ SFEVDF
    5FSN
    
    /VN SFEVDF
    &YQS
    
    &YQS
    
    5FSN S1 S2 S3 S4 &YQS 5FSN S5 /VN /VN S6 5FSN
36. *NQMJDJU
    QBSBNFUFS
    Λ࢖͏ʂ w 3FEVDF
    Մೳ͔Ͳ͏͔Λ
    JNQMJDJU
    QBSBNFUFS
    ʹ͢Δ
    w 4
    ͸
    4
    Λܦ༝ͯ͠
    4
    ʹ
    SFEVDF
    ՄೳͳͷͰ

    ϝιου͕ݺ΂ΔΑ͏ʹ͢Δ SFEVDF
    5FSN
    
    /VN SFEVDF
    &YQS
    
    &YQS
    
    5FSN S1 S2 S3 S4 &YQS 5FSN S5 /VN /VN S6 5FSN
37. ࣮૷Πϝʔδ implicit class PlusTransition[Sn] (sn: Sn) { def plus (implicit reduce: SnからS2にreduce可能): S3 = { reduce(sn).plus() } } ೚ҙͷঢ়ଶ4O͸
 4ʹSFEVDFՄೳͰ͋Ε͹
 QMVT
    ΛݺͿ͜ͱ͕Ͱ͖Δ
38. 3FEVDFͷఆٛ trait Reduce[Sx, Sy] { def apply (sx: Sx): Sy } implicit def doubleReduce [Sx, Sy, Sz] (implicit reduce1: Reduce[Sx, Sy], reduce2: Reduce[Sy, Sz]) : Reduce[Sx, Sz] = { new Reduce[Sx, Sz] { def apply (sx: Sx): Sz = reduce2(reduce1(sx)) } } SFEVDFՄೳ͔Ͳ͏͔Λදݱ͢Δ
 NVMUJQBSBN
    ܕΫϥε SFEVDF
    ͸ਪҠత
    4Y
    
    4Z
    ͔ͭ
    4Z
    
    4[
    ͳΒ
    4Y
    
    
    4[
39. 3FEVDFͷఆٛ implicit val reduceFromS5ToS6: Reduce[S5, S6] = { new Reduce[S5, S6] { def apply (s5: S5): S6 = S6(Term(s5.value)) } } 4
    
    4
    ͷ
    SFEVDF
    ఆٛ /VN
    ͷ୅ΘΓʹ
    5FSN
    ΛಡΜͩ͜ͱʹ͢Δ SFEVDF
    5FSN
    
    /VN SFEVDF
    &YQS
    
    &YQS
    
    5FSN S1 S2 S3 S4 &YQS 5FSN S5 /VN /VN S6 5FSN
40. ຊ౰ͷ࣮૷͸΋͏গ͠ෳࡶ w -"-3
    ߏจղੳʹ͢ΔͨΊʹɺ
 3FEVDF
    Մೳ͔Ͳ͏͔ͷ൑அʹ΋࣍ͷτʔΫϯΛ࢖͏
    w BCDEFʜ
    Ͱ͸
    
    ͕ඞཁͳͷͰɺ
 ຊ౰͸
    BC D E F ʜ
    ͷܗʹ͍ͨ͠
    w ͜͏͢Ε͹
    B
    C
    D
    E
    F
    ʜ
    ͷΑ͏ʹॻ͚Δʂ
    w 
    C
    ϝιουΛ
    D
    ΛҾ਺ʹͱΔϝιουʹͯ͠ɺ

    
    
    
    
    ͭͿΜͷঢ়ଶભҠΛҰؾʹ΍Ε͹ྑ͍
41. ຊ౰ͷ࣮૷͸ߋʹෳࡶ w ೚ҙͷ෦෼ࣜΛ
    4DBMBͷࣜ
    Ͱஔ͖׵͑ΒΕΔΑ͏ʹ͍ͨ͠
    w BC D E F ʜ
    ͷͲͷ෦෼Λஔ͖׵͑Δ͔ʹΑͬͯ࿩͕ҧ͏
    w B
    ͷ෦෼
    JNQMJDJU
    DMBTT
    Λఆٛͯ͠
    C
    ϝιουΛݺ΂ΔΑ͏ʹ
    w D
    ͷ෦෼
    C
    ϝιου͕
    4DBMB
    ͷࣜΛҾ਺ʹऔΕΔΑ͏ʹ͢Δ
    w C
    ͷ෦෼ʹ
    4DBMB
    ͕ࣜೖΔͱ
    B C D E F
    ͱͳΓ݁߹͕มΘΔʂ
    w B C D
    Ͱͭ෼ͷঢ়ଶભҠΛҰ౓ʹ΍Ε͹ྑ͍ʂ
    w ಉ༷ʹOݸ෼ͷঢ়ଶભҠΛҰ౓ʹ΍Δ࢓૊Έ͕ඞཁ
42. 4DBMBMS
    <IUUQTHJUIVCDPNQIFOBOTDBMBMS> w ࣮ଶ͸
    -"-3 
    ύʔβδΣωϨʔλ
    w ී௨ͷύʔβͰ͸ͳ͘
    JNQMJDJU
    WBMVF
    ౳ͷఆٛΛੜ੒͢Δ
    w !ETM
    ΞϊςʔγϣϯϚΫϩʹΑΓίϯύΠϧ࣌ʹίʔυੜ੒
    w ϚΫϩύϥμΠε͸ϚΫϩ஍ࠈͩͥ
    w %4-Ϣʔβ͸
    JNQPSU
    ͢Δ͚ͩͰ
    %4-
    Λ࢖͑Δʂ
    w ίϯύΠϧʹ͕͔͔࣌ؒΔ
    w -"-3͸ઢܗͷΞϧΰϦζϜ͕ͩɺ࣮ଌͩͱ0 O ͘Β͍ʹݟ͑Δ