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

callccの実装を読む

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

 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
130
Continuation is to be continued
Avatar for Masayuki Mizuno fetburner
1
1.3k
RubyでSlackのbotを作ろう
Avatar for Masayuki Mizuno fetburner
0
160
継続オペレータの話
Avatar for Masayuki Mizuno fetburner
0
230
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
400
ネットワーク機器の中の OCaml
Avatar for Masayuki Mizuno fetburner
1
730

Featured

See All Featured
Put a Button on it: Removing Barriers to Going Fast.
Avatar for kastner kastner
60
4k
Intergalactic Javascript Robots from Outer Space
Avatar for Vicent Martí tanoku
272
27k
Site-Speed That Sticks
Avatar for Harry Roberts csswizardry
10
770
GraphQLの誤解/rethinking-graphql
Avatar for sonatard sonatard
71
11k
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
179
9.9k
Designing Dashboards & Data Visualisations in Web Apps
Avatar for Des Traynor destraynor
231
53k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
Avatar for Kevin Liebholz kevinliebholz
34
6k
A better future with KSS
Avatar for Kyle Neath kneath
239
17k
The World Runs on Bad Software
Avatar for Brandon Keepers bkeepers
PRO
70
11k
Learning to Love Humans: Emotional Interface Design
Avatar for Aarron Walter aarron
273
40k
Building Adaptive Systems
Avatar for Chris Keathley keathley
43
2.7k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
Avatar for panda_program panda_program
110
19k

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