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
180
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
Bash Introduction
62gerente
615
210k
GraphQLとの向き合い方2022年版
quramy
49
14k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
What’s in a name? Adding method to the madness
productmarketing
PRO
23
3.7k
Making Projects Easy
brettharned
117
6.4k
Fantastic passwords and where to find them - at NoRuKo
philnash
52
3.4k
Raft: Consensus for Rubyists
vanstee
140
7.1k
KATA
mclloyd
32
14k
Speed Design
sergeychernyshev
32
1.1k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
18
1.1k
Practical Orchestrator
shlominoach
190
11k
Build your cross-platform service in a week with App Engine
jlugia
231
18k
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͞Μ