Rubyでリストモナドを使う

Roppongi.rb#22発表資料

Transcript

1. ©2024 Wantedly, Inc. RubyͰϦετϞφυΛ࢖͏ Roppongi.rb #21 Aug 1, 2024 - ਫ໺խ೭
2. ©2024 Wantedly, Inc. ࣗݾ঺հ
3. ©2024 Wantedly, Inc. ਫ໺խ೭ ࣗݾ঺հ ॴଐ: ΢ΥϯςουϦʔגࣜձࣾ ৬ۀ: όοΫΤϯυΤϯδχΞ ޷͖ͳݴޠ: OCaml, Coq, NEC IXͷίϯϑΟά Twitter: @fetburner GitHub: https://github.com/fetburner
4. ©2024 Wantedly, Inc. ࠓ೔࿩͢͜ͱ
5. ©2024 Wantedly, Inc. ࠓ೔࿩͢͜ͱ  ؔ਺ܕݴޠͰ࢖ΘΕ͍ͯΔϦετϞφυͷ঺հ
   w )BTLFMMͰͷϦετϞφυͷ࢖༻ྫ
   w )BTLFMMͰͷϦετϞφυͷ࣮૷
    3VCZͰͷϦετϞφυͷ࣮૷
   w ૉ๿ͳ࣮૷
   w ૉ๿ͳ࣮૷ͰͷίʔϧόοΫ஍ࠈΛճආ͢Δ%4-ͷಋೖ
6. ©2024 Wantedly, Inc. ϦετϞφυͱ͸
7. ©2024 Wantedly, Inc. ϦετϞφυͱ͸  ඇܾఆܭࢉΛѻ͏ͨΊͷϑϨʔϜϫʔΫ
   w ݩʑஞ࣍ܭࢉΛѻ͏ϑϨʔϜϫʔΫͱͯ͠Ϟφυ͕͋ΓɺϦετϞφυ͸ͦͷ࣮૷ͷҰͭ
   w )BTLFMM΍'ͱ͍ͬͨؔ਺ܕݴޠͰΑ͘࢖ΘΕΔ
    ݴޠʹΑͬͯ͸౶ҥߏจ͕༻ҙ͞Ε͍ͯΔ
   w )BTLFMMͰ͸ϞφυҰൠʹEPه๏͕༻ҙ͞Ε͓ͯΓɺͦͷԸܙΛड͚ΒΕΔ
   w )BTLFMMͷϦετ಺แදه͸࣮͸ϦετϞφυͰ࡞ΒΕ͍ͯΔ
8. ©2024 Wantedly, Inc. άϦουΛ୳ࡧ͢ΔࡍͷҠಈྔΛྻڍ ্ԼࠨӈࣼΊͷํ޲ͷ͍ͣΕ͔΁Ҡಈ͢Δ৔߹ͷҠಈྔ )BTLFMMͰͷϦετϞφυͷ࢖༻ྫʢʣ
9. ©2024 Wantedly, Inc. 4&/% .03&.0/&:ͷ෴໘ࢉΛղ͘ ੑೳ্ࢬמΓ͸ཉ͍͕͠ɺ؆୯ʹ୳ࡧ͕ॻ͚Δ )BTLFMMͰͷϦετϞφυͷ࢖༻ྫʢʣ
10. ©2024 Wantedly, Inc. EPه๏͸୯ͳΔ౶ҥߏจ ্ͱਅΜதͷࣜΛ୤౶͢ΔͱԼͷࣜʹͳΔ )BTLFMMʹ͓͚ΔϦετϞφυͷ࣮૷
11. ©2024 Wantedly, Inc. DPODBUͱNBQͰ࣮૷͞Ε͍ͯΔ )BTLFMMʹ͓͚ΔϦετϞφυͷ࣮૷ NBQʹΑͬͯ૯౰ͨΓΛ࣮ݱ͠ɺϦετͷϦετ͸DPODBUͰ௵͍ͯ͠Δ
12. ©2024 Wantedly, Inc. 3VCZͰϦετϞφυΛ࢖͏
13. ©2024 Wantedly, Inc. DPODBU NBQʹରԠ͢ΔGMBU@NBQͰ࣮ݱͰ͖Δ ίʔϧόοΫ஍ࠈʹͳΔͷͰ౶ҥߏจ͕ཉ͘͠ͳΔ GMBU@NBQϕλॻ͖Ͱͷ࣮૷
14. ©2024 Wantedly, Inc. ϝλϓϩΛ࢖͑͹ίʔϧόοΫ஍ࠈ͸ආ͚ΒΕΔ ࣮ߦλΠϛϯά੍ޚͷͨΊʹɺCJOE΍TVCNJUͷҾ਺͸ϒϩοΫͰғ͏ඞཁ͕͋Δ EPه๏Λ࠶ݱ͢Δ%4-ͷಋೖ
15. ©2024 Wantedly, Inc. DBMMDDͰ௚઀࣮ߦΛ੍ޚ͢Ε͹ϝλϓϩ͸ෆཁ ҰൠͷϞφυʹద༻Ͱ͖Δख๏Ͱ͸ͳ͍͕ɺϦετϞφυͰ͸͏·͍͘͘ DBMMDDʹΑΔEPه๏ϥΠΫͳ%4-ͷ࣮૷
16. ©2024 Wantedly, Inc. CJOE΍TVCNJUͷҾ਺ΛϒϩοΫͰғΘͳͯ͘ྑ͍ DBMMDDʹΑΔ%4-ͷ࢖༻ྫ ࣮ߦλΠϛϯά͸%4-ଆͰ੍ޚͯ͘͠ΕΔ
17. ©2024 Wantedly, Inc. ·ͱΊ
18. ©2024 Wantedly, Inc. ·ͱΊ  ϦετϞφυͱ͸
    w ඇܾఆܭࢉΛѻ͏ͨΊͷϑϨʔϜϫʔΫ
    w खଓ͖ܕݴޠͰ΋ศརͳͷͰ3VCZJTU΋࢖ͬͯ΄͍͠
    w fl BU@NBQతͳؔ਺ʹΑ࣮ͬͯ૷͞Ε͍ͯΔ
    w )BTLFMMͰ͸EPߏจͰݟ௨͠ྑ͘ॻ͚Δ
     3VCZͰϦετϞφυΛ࣮૷
    w fl BU@NBQϕλॻ͖Ͱ΋ॻ͚Δ͕ίʔϧόοΫ஍ࠈʹͳΔ
    w ϝλϓϩͳ͍͠DBMMDDΛ࢖ͬͯEPߏจϥΠΫͳ%4-Λಋೖ
    w 4QFDJBM
    UIBOLT
    DBMMDDΛ࢖͏ΞΠσΞΛ͘Εͨಉ྅ͷ!ROJHIZ͞Μ