Upgrade to PRO for Only $50/Year—Limited-Time Offer! 🔥

callccの実装を読む

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

 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
150
Continuation is to be continued
Avatar for Masayuki Mizuno fetburner
1
1.6k
RubyでSlackのbotを作ろう
Avatar for Masayuki Mizuno fetburner
0
170
継続オペレータの話
Avatar for Masayuki Mizuno fetburner
0
240
Rubyでリストモナドを使う
Avatar for Masayuki Mizuno fetburner
0
190
次世代のプロファイラVernierを試す
Avatar for Masayuki Mizuno fetburner
0
130
数値計算とメモリ最適化
Avatar for Masayuki Mizuno fetburner
0
250
3/14なので円周率を計算する
Avatar for Masayuki Mizuno fetburner
0
410
ネットワーク機器の中の OCaml
Avatar for Masayuki Mizuno fetburner
1
740

Featured

See All Featured
Helping Users Find Their Own Way: Creating Modern Search Experiences
Avatar for Dan Newman danielanewman
31
3k
Fight the Zombie Pattern Library - RWD Summit 2016
Avatar for Marcelo Somers marcelosomers
234
17k
Side Projects
Avatar for Sacha Greif sachag
455
43k
Unsuck your backbone
Avatar for Amy Palamountain ammeep
671
58k
Designing Dashboards & Data Visualisations in Web Apps
Avatar for Des Traynor destraynor
231
54k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
Avatar for Stéphanie Walter stephaniewalter
286
14k
Bash Introduction
Avatar for André Augusto Costa Santos 62gerente
615
210k
Optimising Largest Contentful Paint
Avatar for Harry Roberts csswizardry
37
3.5k
Why You Should Never Use an ORM
Avatar for John Nunemaker jnunemaker
PRO
61
9.6k
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
307
120k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
37
2.7k
The Psychology of Web Performance [Beyond Tellerrand 2023]
Avatar for Tammy Everts tammyeverts
49
3.2k

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