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
CircleCI ユーザーミートアップ
Avatar for Masayuki Mizuno fetburner
0
140
関数型まつり2026
Avatar for Masayuki Mizuno fetburner
2
840
Rails アプリの docker build を 倍速にした話
Avatar for Masayuki Mizuno fetburner
2
180
Omotesando.rb #110
Avatar for Masayuki Mizuno fetburner
0
210
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
次世代のプロファイラVernierを試す
Avatar for Masayuki Mizuno fetburner
0
160

Featured

See All Featured
Designing Dashboards & Data Visualisations in Web Apps
Avatar for Des Traynor destraynor
232
55k
The Psychology of Web Performance [Beyond Tellerrand 2023]
Avatar for Tammy Everts tammyeverts
49
3.5k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
Avatar for Morgane Peng morganepeng
133
19k
How To Speak Unicorn (iThemes Webinar)
Avatar for Michelle Schulp Hunt marktimemedia
1
520
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
Avatar for Michelle Schulp Hunt marktimemedia
31
2.8k
Distributed Sagas: A Protocol for Coordinating Microservices
Avatar for Caitie McCaffrey caitiem20
333
23k
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
307
120k
Claude Code どこまでも/ Claude Code Everywhere
Avatar for nwiizo nwiizo
66
57k
XXLCSS - How to scale CSS and keep your sanity
Avatar for Zaharenia Atzitzikaki sugarenia
249
1.3M
Typedesign – Prime Four
Avatar for Hannes Fritz hannesfritz
42
3.1k
Designing for Timeless Needs
Avatar for Cassini Nazir cassininazir
1
430
The untapped power of vector embeddings
Avatar for Frank van Dijk frankvandijk
2
1.8k

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