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
110
Continuation is to be continued
fetburner
1
1.2k
callccの実装を読む
fetburner
0
150
RubyでSlackのbotを作ろう
fetburner
0
150
継続オペレータの話
fetburner
0
220
次世代のプロファイラVernierを試す
fetburner
0
120
数値計算とメモリ最適化
fetburner
0
230
3/14なので円周率を計算する
fetburner
0
390
ネットワーク機器の中の OCaml
fetburner
1
720
Featured
See All Featured
Imperfection Machines: The Place of Print at Facebook
scottboms
267
13k
Music & Morning Musume
bryan
46
6.6k
Git: the NoSQL Database
bkeepers
PRO
430
65k
VelocityConf: Rendering Performance Case Studies
addyosmani
332
24k
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
3.9k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
17
950
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
15
1.5k
Large-scale JavaScript Application Architecture
addyosmani
512
110k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
Producing Creativity
orderedlist
PRO
346
40k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
45
7.5k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
jcasabona
32
2.4k
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͞Μ