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

callccの実装を読む

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

 callccの実装を読む

Avatar for Masayuki Mizuno

Masayuki Mizuno

February 06, 2025

More Decks by Masayuki Mizuno

See All by Masayuki Mizuno
OCaml Meeting 2026 in Tokyo
Avatar for Masayuki Mizuno fetburner
0
290
CircleCI ユーザーミートアップ
Avatar for Masayuki Mizuno fetburner
0
170
関数型まつり2026
Avatar for Masayuki Mizuno fetburner
2
930
Rails アプリの docker build を 倍速にした話
Avatar for Masayuki Mizuno fetburner
2
180
Omotesando.rb #110
Avatar for Masayuki Mizuno fetburner
0
220
Continuation is to be continued
Avatar for Masayuki Mizuno fetburner
1
2.4k
RubyでSlackのbotを作ろう
Avatar for Masayuki Mizuno fetburner
0
220
継続オペレータの話
Avatar for Masayuki Mizuno fetburner
0
280
Rubyでリストモナドを使う
Avatar for Masayuki Mizuno fetburner
0
220

Featured

See All Featured
Dealing with People You Can't Stand - Big Design 2015
Avatar for Cassini Nazir cassininazir
367
27k
Building Adaptive Systems
Avatar for Chris Keathley keathley
44
3.2k
Exploring the relationship between traditional SERPs and Gen AI search
Avatar for Ray Grieselhuber raygrieselhuber
PRO
2
4.2k
How To Speak Unicorn (iThemes Webinar)
Avatar for Michelle Schulp Hunt marktimemedia
1
560
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
38
3k
The AI Search Optimization Roadmap by Aleyda Solis
Avatar for Aleyda Solis aleyda
1
6.1k
Introduction to Domain-Driven Design and Collaborative software design
Avatar for Kenny Baas-Schwegler baasie
1
950
Abbi's Birthday
Avatar for Violet Bock coloredviolet
3
9.5k
ラッコキーワード サービス紹介資料
Avatar for ラッコ株式会社 rakko
1
4.5M
Optimising Largest Contentful Paint
Avatar for Harry Roberts csswizardry
37
3.9k
SEO for Brand Visibility & Recognition
Avatar for Aleyda Solis aleyda
0
4.7k
Designing for humans not robots
Avatar for Tammie Lister tammielis
254
26k

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 ΞʔΩςΫνϟຖͷࠩҟ͕େ͖ͯͭ͘Βͦ͏  ελοΫ৘ใΛશͯୀආ͢Δͱॏ͍ͷͰࠩ෼Ͱ࣋ͭ