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.5k
callccの実装を読む
fetburner
0
180
RubyでSlackのbotを作ろう
fetburner
0
160
継続オペレータの話
fetburner
0
230
次世代のプロファイラVernierを試す
fetburner
0
120
数値計算とメモリ最適化
fetburner
0
240
3/14なので円周率を計算する
fetburner
0
410
ネットワーク機器の中の OCaml
fetburner
1
740
Featured
See All Featured
Mobile First: as difficult as doing things right
swwweet
225
10k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
367
27k
Bash Introduction
62gerente
615
210k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
37
2.6k
Imperfection Machines: The Place of Print at Facebook
scottboms
269
13k
It's Worth the Effort
3n
187
28k
Leading Effective Engineering Teams in the AI Era
addyosmani
7
640
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
10
620
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
30
2.9k
How GitHub (no longer) Works
holman
315
140k
Music & Morning Musume
bryan
46
6.9k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
36
6.1k
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͞Μ