Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Rubyでリストモナドを使う
Search
Masayuki Mizuno
July 31, 2024
0
170
Rubyでリストモナドを使う
Roppongi.rb#22発表資料
Masayuki Mizuno
July 31, 2024
Tweet
Share
More Decks by Masayuki Mizuno
See All by Masayuki Mizuno
Omotesando.rb #110
fetburner
0
140
Continuation is to be continued
fetburner
1
1.4k
callccの実装を読む
fetburner
0
170
RubyでSlackのbotを作ろう
fetburner
0
160
継続オペレータの話
fetburner
0
230
次世代のプロファイラVernierを試す
fetburner
0
120
数値計算とメモリ最適化
fetburner
0
230
3/14なので円周率を計算する
fetburner
0
400
ネットワーク機器の中の OCaml
fetburner
1
730
Featured
See All Featured
Rails Girls Zürich Keynote
gr2m
95
14k
Large-scale JavaScript Application Architecture
addyosmani
512
110k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
stephaniewalter
284
13k
A designer walks into a library…
pauljervisheath
207
24k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
34
6k
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
49
3k
Unsuck your backbone
ammeep
671
58k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
Mobile First: as difficult as doing things right
swwweet
224
9.9k
Building an army of robots
kneath
306
46k
Site-Speed That Sticks
csswizardry
10
800
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
53
2.9k
Transcript
©2024 Wantedly, Inc. RubyͰϦετϞφυΛ͏ Roppongi.rb #21 Aug 1, 2024 -
ਫխ೭
©2024 Wantedly, Inc. ࣗݾհ
©2024 Wantedly, Inc. ਫխ೭ ࣗݾհ ॴଐ: ΥϯςουϦʔגࣜձࣾ ৬ۀ: όοΫΤϯυΤϯδχΞ ͖ͳݴޠ:
OCaml, Coq, NEC IXͷίϯϑΟά Twitter: @fetburner GitHub: https://github.com/fetburner
©2024 Wantedly, Inc. ࠓ͢͜ͱ
©2024 Wantedly, Inc. ࠓ͢͜ͱ ؔܕݴޠͰΘΕ͍ͯΔϦετϞφυͷհ w )BTLFMMͰͷϦετϞφυͷ༻ྫ w )BTLFMMͰͷϦετϞφυͷ࣮
3VCZͰͷϦετϞφυͷ࣮ w ૉͳ࣮ w ૉͳ࣮ͰͷίʔϧόοΫࠈΛճආ͢Δ%4-ͷಋೖ
©2024 Wantedly, Inc. ϦετϞφυͱ
©2024 Wantedly, Inc. ϦετϞφυͱ ඇܾఆܭࢉΛѻ͏ͨΊͷϑϨʔϜϫʔΫ w ݩʑஞ࣍ܭࢉΛѻ͏ϑϨʔϜϫʔΫͱͯ͠Ϟφυ͕͋ΓɺϦετϞφυͦͷ࣮ͷҰͭ w )BTLFMM'ͱ͍ͬͨؔܕݴޠͰΑ͘ΘΕΔ
ݴޠʹΑͬͯҥߏจ͕༻ҙ͞Ε͍ͯΔ w )BTLFMMͰϞφυҰൠʹEPه๏͕༻ҙ͞Ε͓ͯΓɺͦͷԸܙΛड͚ΒΕΔ w )BTLFMMͷϦετแදه࣮ϦετϞφυͰ࡞ΒΕ͍ͯΔ
©2024 Wantedly, Inc. άϦουΛ୳ࡧ͢ΔࡍͷҠಈྔΛྻڍ ্ԼࠨӈࣼΊͷํͷ͍ͣΕ͔Ҡಈ͢Δ߹ͷҠಈྔ )BTLFMMͰͷϦετϞφυͷ༻ྫʢʣ
©2024 Wantedly, Inc. 4&/% .03&.0/&:ͷ෴໘ࢉΛղ͘ ੑೳ্ࢬמΓཉ͍͕͠ɺ؆୯ʹ୳ࡧ͕ॻ͚Δ )BTLFMMͰͷϦετϞφυͷ༻ྫʢʣ
©2024 Wantedly, Inc. EPه๏୯ͳΔҥߏจ ্ͱਅΜதͷࣜΛ͢ΔͱԼͷࣜʹͳΔ )BTLFMMʹ͓͚ΔϦετϞφυͷ࣮
©2024 Wantedly, Inc. DPODBUͱNBQͰ࣮͞Ε͍ͯΔ )BTLFMMʹ͓͚ΔϦετϞφυͷ࣮ NBQʹΑͬͯ૯ͨΓΛ࣮ݱ͠ɺϦετͷϦετDPODBUͰ௵͍ͯ͠Δ
©2024 Wantedly, Inc. 3VCZͰϦετϞφυΛ͏
©2024 Wantedly, Inc. DPODBU NBQʹରԠ͢ΔGMBU@NBQͰ࣮ݱͰ͖Δ ίʔϧόοΫࠈʹͳΔͷͰҥߏจ͕ཉ͘͠ͳΔ GMBU@NBQϕλॻ͖Ͱͷ࣮
©2024 Wantedly, Inc. ϝλϓϩΛ͑ίʔϧόοΫࠈආ͚ΒΕΔ ࣮ߦλΠϛϯά੍ޚͷͨΊʹɺCJOETVCNJUͷҾϒϩοΫͰғ͏ඞཁ͕͋Δ EPه๏Λ࠶ݱ͢Δ%4-ͷಋೖ
©2024 Wantedly, Inc. DBMMDDͰ࣮ߦΛ੍ޚ͢Εϝλϓϩෆཁ ҰൠͷϞφυʹద༻Ͱ͖Δख๏Ͱͳ͍͕ɺϦετϞφυͰ͏·͍͘͘ DBMMDDʹΑΔEPه๏ϥΠΫͳ%4-ͷ࣮
©2024 Wantedly, Inc. CJOETVCNJUͷҾΛϒϩοΫͰғΘͳͯ͘ྑ͍ DBMMDDʹΑΔ%4-ͷ༻ྫ ࣮ߦλΠϛϯά%4-ଆͰ੍ޚͯ͘͠ΕΔ
©2024 Wantedly, Inc. ·ͱΊ
©2024 Wantedly, Inc. ·ͱΊ ϦετϞφυͱ w ඇܾఆܭࢉΛѻ͏ͨΊͷϑϨʔϜϫʔΫ w खଓ͖ܕݴޠͰศརͳͷͰ3VCZJTUͬͯ΄͍͠
w fl BU@NBQతͳؔʹΑ࣮ͬͯ͞Ε͍ͯΔ w )BTLFMMͰEPߏจͰݟ௨͠ྑ͘ॻ͚Δ 3VCZͰϦετϞφυΛ࣮ w fl BU@NBQϕλॻ͖Ͱॻ͚Δ͕ίʔϧόοΫࠈʹͳΔ w ϝλϓϩͳ͍͠DBMMDDΛͬͯEPߏจϥΠΫͳ%4-Λಋೖ w 4QFDJBMUIBOLTDBMMDDΛ͏ΞΠσΞΛ͘Εͨಉ྅ͷ!ROJHIZ͞Μ