Upgrade to Pro — share decks privately, control downloads, hide ads and more …

callccの実装を読む

Avatar for Masayuki Mizuno Masayuki Mizuno
February 06, 2025
0
150

 callccの実装を読む

Avatar for Masayuki Mizuno

Masayuki Mizuno

February 06, 2025
Tweet

More Decks by Masayuki Mizuno

See All by Masayuki Mizuno
Omotesando.rb #110
Avatar for Masayuki Mizuno fetburner
0
110
Continuation is to be continued
Avatar for Masayuki Mizuno fetburner
1
1.2k
RubyでSlackのbotを作ろう
Avatar for Masayuki Mizuno fetburner
0
150
継続オペレータの話
Avatar for Masayuki Mizuno fetburner
0
220
Rubyでリストモナドを使う
Avatar for Masayuki Mizuno fetburner
0
170
次世代のプロファイラVernierを試す
Avatar for Masayuki Mizuno fetburner
0
120
数値計算とメモリ最適化
Avatar for Masayuki Mizuno fetburner
0
230
3/14なので円周率を計算する
Avatar for Masayuki Mizuno fetburner
0
390
ネットワーク機器の中の OCaml
Avatar for Masayuki Mizuno fetburner
1
720

Featured

See All Featured
Code Reviewing Like a Champion
Avatar for maltzj maltzj
524
40k
How To Stay Up To Date on Web Technology
Avatar for Chris Coyier chriscoyier
790
250k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
Avatar for Eileen M. Uchitelle eileencodes
26
2.9k
Learning to Love Humans: Emotional Interface Design
Avatar for Aarron Walter aarron
273
40k
The Art of Delivering Value - GDevCon NA Keynote
Avatar for David Neal reverentgeek
15
1.5k
The Power of CSS Pseudo Elements
Avatar for Geoffrey Crofte geoffreycrofte
77
5.8k
Large-scale JavaScript Application Architecture
Avatar for Addy Osmani addyosmani
512
110k
Building a Modern Day 
E-commerce SEO Strategy
Avatar for Aleyda Solis aleyda
42
7.4k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
Avatar for Morgane Peng morganepeng
130
19k
RailsConf 2023
Avatar for Aaron Patterson tenderlove
30
1.1k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
Avatar for Irina Nazarova irinanazarova
8
800
The Language of Interfaces
Avatar for Des Traynor destraynor
158
25k

Transcript

  1. ©2025 Wantedly, Inc. callccͷ࣮૷ΛಡΉ RubyͷܧଓΦϖϨʔλ࣮૷ͷத਎ Omotesando.rb #106 Feb 6, 2025

    - Masayuki Mizuno

  2. ©2025 Wantedly, Inc. ࣗݾ঺հ

  3. ©2025 Wantedly, Inc. ࣗݾ঺հ ਫ໺խ೭ ࣗݾ঺հ ॴଐ: ΢ΥϯςουϦʔגࣜձࣾ ৬ۀ: όοΫΤϯυΤϯδχΞ

    ޷͖ͳݴޠ: OCaml, Coq, NEC IXͷίϯϑΟά Twitter: @fetburner mixi2: @lgtm GitHub: https://github.com/fetburner

  4. ©2025 Wantedly, Inc. ࠓ೔࿩͢͜ͱ

  5. ©2025 Wantedly, Inc. ࠓ೔࿩͢͜ͱ  Ϟνϕʔγϣϯ  3VCZʹ࣮૷͞Ε͍ͯΔܧଓΦϖϨʔλͱ͸ʁ w DBMMDDͷ঺հ

    w 'JCFSͱͷҧ͍  3VCZͷܧଓΦϖϨʔλ࣮૷ͷத਎

  6. ©2025 Wantedly, Inc. Ϟνϕʔγϣϯ

  7. ©2025 Wantedly, Inc. ܧଓΦϖϨʔλ࣮૷ͷϘτϧωοΫ͕஌Γ͍ͨ ϝλϓϩΛ࢖ͬͨ%4-࣮૷Ͱ͸ඵͰࡁΜͩܭࢉ͕ɺDBMMDDΛ࢖͏ͱେมॏ͘ͳͬͯ͠·ͬͨ Ϟνϕʔγϣϯ ΑΓৄࡉͳܦҢIUUQTXXXXBOUFEMZDPNDPNQBOJFTXBOUFEMZQPTU@BSUJDMFT

  8. ©2025 Wantedly, Inc. ϒϩοΫΛ໌ࣔͤͣॲཧΛ੾Γग़ͤΔͷ͕ັྗత %4-Λ࡞Δ࣌ʹࢗ͞Δ৔߹͕͋Δ ͦΕͰ΋ܧଓΦϖϨʔλΛ࢖͍͍ͨཧ༝ ͜͜Ͱྫʹग़ͨ͠%4-ͷৄࡉIUUQTXXXXBOUFEMZDPNDPNQBOJFTXBOUFEMZQPTU@BSUJDMFT

  9. ©2025 Wantedly, Inc. 3VCZʹ࣮૷͞Ε͍ͯΔܧଓΦϖϨʔλͱ͸ʁ

  10. ©2025 Wantedly, Inc. Rubyʹ࣮૷͞Ε͍ͯΔܧଓΦϖϨʔλ: callcc ܧଓʢͦΕҎ߱ͷܭࢉʣΛશͯ੾Γग़ͯ͠ଋറ͢Δ callcc͕setjmpͰɺContinuation#call͕longjmpతͳΠϝʔδ IUUQTEPDTSVCZMBOHPSHKBMBUFTUDMBTT$POUJOVBUJPOIUNMΑΓ

  11. ©2025 Wantedly, Inc. Fiberͱͷҧ͍ ܧଓ͸Կ౓Ͱ΋ݺͼग़ͤΔ ҰํɺFiber͸Ұ౓ऴྃ͢Δͱ࠶ར༻Ͱ͖ͳ͍

  12. ©2025 Wantedly, Inc. ܧଓΦϖϨʔλͷ࣮૷ͷத਎

  13. ©2025 Wantedly, Inc. ֦ுϥΠϒϥϦͱ࣮ͯ͠૷͞Ε͍ͯΔ ඪ४ఴ෇ϥΠϒϥϦͳͷͰιʔείʔυ͸3VCZॲཧܥʹಉࠝ ܧଓΦϖϨʔλͷ࣮૷ IUUQTHJUIVCDPNSVCZSVCZCMPCSVCZ@@FYUDPOUJOVBUJPODPOUJOVBUJPODΑΓ

  14. ©2025 Wantedly, Inc. ࣮૷ͷຊମ͸DPOUDʹډΔ ඪ४ఴ෇ϥΠϒϥϦͳͷͰιʔείʔυ͸3VCZॲཧܥʹಉࠝ ܧଓΦϖϨʔλͷ࣮૷ IUUQTHJUIVCDPNSVCZSVCZCMPCSVCZ@@DPOUDΑΓ

  15. ©2025 Wantedly, Inc. ελοΫΛୀආͯ͠TFUKNQ͍ͯ͠Δ 3VCZ7.͸ελοΫϚγϯͳͷͰɺελοΫΛୀආ͢Δͱม਺ͷ஋Λه࿥Ͱ͖Δ DBMMDDͷ࣮૷ IUUQTHJUIVCDPNSVCZSVCZCMPCSVCZ@@DPOUDΑΓ

  16. ©2025 Wantedly, Inc. ελοΫ৘ใ͸ࠩ෼ͷΈه࿥ͯ͠࢖͍ճ͍ͯ͠Δ ଞͷDBMMDDݺͼग़͠Ͱୀආͨ͠ελοΫ৘ใ͕͋Ε͹ɺͦΕΛ࢖͍ճ͢ DBMMDDͷ࣮૷্ͷ޻෉ IUUQTHJUIVCDPNSVCZSVCZCMPCSVCZ@@DPOUDΑΓ

  17. ©2025 Wantedly, Inc. ελοΫ৘ใΛ෮ݩͯ͠MPOHKNQ͍ͯ͠Δ $POUJOVBUJPODBMMͷ࣮૷ IUUQTHJUIVCDPNSVCZSVCZCMPCSVCZ@@DPOUDΑΓ

  18. ©2025 Wantedly, Inc. ·ͱΊ

  19. ©2025 Wantedly, Inc. ·ͱΊ  'JCFS͸DBMMDDΛ׬શʹ͸୅ସ͠ͳ͍ w %4-ͷจ຺Ͱ͸ɺ੾Γग़ͨ͠ίʔυΛෳ਺ճݺͼग़͍ͨ͠৔߹͕͋Δ  DBMMDDͷຊ࣭͸ɺ7.ͷঢ়ଶͷୀආͱ෮ݩ

    w ελοΫͷ৘ใͱɺݱࡏ࣮ߦ͍ͯ͠ΔίʔυͷҐஔΛঢ়ଶͱͯ͠ୀආ͢Δ w ΞʔΩςΫνϟຖͷࠩҟ͕େ͖ͯͭ͘Βͦ͏  ελοΫ৘ใΛશͯୀආ͢Δͱॏ͍ͷͰࠩ෼Ͱ࣋ͭ