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
150
Rubyでリストモナドを使う
Roppongi.rb#22発表資料
Masayuki Mizuno
July 31, 2024
Tweet
Share
More Decks by Masayuki Mizuno
See All by Masayuki Mizuno
callccの実装を読む
fetburner
0
120
RubyでSlackのbotを作ろう
fetburner
0
120
継続オペレータの話
fetburner
0
180
次世代のプロファイラVernierを試す
fetburner
0
100
数値計算とメモリ最適化
fetburner
0
210
3/14なので円周率を計算する
fetburner
0
380
ネットワーク機器の中の OCaml
fetburner
1
700
Gotanda.rb#56
fetburner
0
110
遅延評価を使ってOSSのバグを修正した話
fetburner
1
250
Featured
See All Featured
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
33
2.8k
The Cult of Friendly URLs
andyhume
78
6.2k
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.2k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
[RailsConf 2023] Rails as a piece of cake
palkan
53
5.3k
Being A Developer After 40
akosma
89
590k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
13
1k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
eileencodes
21
2.5k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
175
52k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
6
590
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
3.7k
What’s in a name? Adding method to the madness
productmarketing
PRO
22
3.3k
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͞Μ