継続オペレータの話

Transcript

1. ©2024 Wantedly, Inc. ܧଓΦϖϨʔλͷ࿩ Shibuya.rb[:20240821] Aug 21, 2024 - Masayuki Mizuno
2. ©2024 Wantedly, Inc. ࠓ೔࿩͢͜ͱ
3. ©2024 Wantedly, Inc. ࠓ೔࿩͢͜ͱ  Ϟνϕʔγϣϯ
   w ඇܾఆੑܭࢉͰͷίʔϧόοΫ஍ࠈ
    3VCZʹ࣮૷͞Ε͍ͯΔܧଓΦϖϨʔλͷ঺հ
   w DBMMDDͷ঺հ
    DBMMDDҎ֎ͷܧଓΦϖϨʔλͷ঺հ
   w TIJGUSFTFUͷ঺հ
   w DBMMDDʹΑΔTIJGUSFTFUͷ࣮૷
   w TIJGUSFTFUΛ༻͍ͨඇܾఆܭࢉͷ࣮૷
4. ©2024 Wantedly, Inc. Ϟνϕʔγϣϯ
5. ©2024 Wantedly, Inc. Ϟνϕʔγϣϯ doʙendͰωετΛਂͤͣ͘ίʔυยΛ੾Γग़͍ͨ͠ HaskellͷϦετϞφυతͳίʔυΛRubyͰॻ͘ͱίʔϧόοΫ஍ࠈʹͳͬͯ͠·͏
6. ©2024 Wantedly, Inc. ϝλϓϩͰͷղܾ ੍ޚߏ଄ͷ࠶ൃ໌͕ඞཁ Ifจ౳͕ཉ͚͠Ε͹DSL͕ղऍͰ͖Δ΋ͷΛ৽͘͠༻ҙ͠ͳ͚Ε͹ͳΒͳ͍
7. ©2024 Wantedly, Inc. ܧଓΦϖϨʔλͰͷղܾ ੍ޚߏ଄ͷ࠶ൃ໌͸ෆཁ ωετΛਂͤͣ͘ίʔυยΛ੾Γग़ͯ͠ϧʔϓ͍ͯ͠Δ
8. ©2024 Wantedly, Inc. 3VCZʹ࣮૷͞Ε͍ͯΔܧଓΦϖϨʔλͷ঺հ
9. ©2024 Wantedly, Inc. Rubyʹ࣮૷͞Ε͍ͯΔܧଓΦϖϨʔλ: call/cc ܧଓʢͦΕҎ߱ͷܭࢉʣΛશͯ੾Γग़ͯ͠ଋറ͢Δ setjmpతͳΠϝʔδ https://docs.ruby-lang.org/ja/latest/class/Continuation.html ΑΓ
10. ©2024 Wantedly, Inc. ܧଓΦϖϨʔλͰͷղܾ࠶ܝ call/ccͰ੾Γग़ͨ͠ίʔυยΛԿ౓΋ݺͼग़͍ͯ͠Δ call/ccͰ͸ߦ͖ͬͨΓ໭ͬͯ͜ͳ͍ͷͰɺ໭Γઌ΋call/ccͰొ࿥͍ͯ͠Δ
11. ©2024 Wantedly, Inc. call/ccͷ໰୊఺ ඞཁҎ্ʹେ͖ͳίʔυยΛ੾Γग़ͯ͠͠·͏ endҎ߱ͷίʔυ΋੾Γग़ͯ͠͠·͏ͷͰɺద౰ͳॴͰଧͪࢭΊʹ͢ΔͨΊʹcall/cc͕2ճඞཁ
12. ©2024 Wantedly, Inc. DBMMDDҎ֎ͷܧଓΦϖϨʔλͷ঺հ
13. ©2024 Wantedly, Inc. call/ccҎ֎ͷܧଓΦϖϨʔλ: shift/reset shift͔Βreset·ͰͷؒͷίʔυยΛ੾Γग़͢ ߦ͖ͬͨΓ໭ͬͯ͜ͳ͍call/ccͱҧ͍ɺresetʹ౸ୡͨ͠Β໭͖ͬͯͯ͘ΕΔ
14. ©2024 Wantedly, Inc. call/ccʹΑΔshift/resetͷ࣮૷ άϩʔόϧม਺ͱcall/ccͰshift/reset͸࣮૷Մೳ ໭ΓઌΛ͓֮͑ͯͨ͘Ίͷάϩʔόϧม਺͸ඞཁ https://okmij.org/ftp/continuations/shift-reset.scm ͷScheme࣮૷ΛRubyʹ຋Ҋͨ͠΋ͷ
15. ©2024 Wantedly, Inc. shift/resetΛ༻͍ͨඇܾఆੑܭࢉͷ࣮૷ ૂͬͨίʔυย͚ͩऔΓग़ͤΔͷͰɺ࣮૷͕γϯϓϧ resetͰ໭ͬͯ͘ΕΔͷͰɺflat_map͕ͦͷ··࢖͑Δ
16. ©2024 Wantedly, Inc. ·ͱΊ
17. ©2024 Wantedly, Inc. ·ͱΊ  3VCZʹ࣮૷͞Ε͍ͯΔܧଓΦϖϨʔλͷ঺հ
    w DBMMDDΛ࢖͑͹ɺͦΕҎ߱શ෦ͷίʔυยΛ੾Γग़ͤΔ
     DBMMDDҎ֎ͷܧଓΦϖϨʔλͷ঺հ
    w TIJGUSFTFUͷ঺հ
    w TIJGUʙSFTFUͷؒͷίʔυยΛ੾Γग़ͤΔ
    w DBMMDDʹΑΔTIJGUSFTFUͷ࣮૷
    w TIJGUSFTFUΛ༻͍ͨඇܾఆܭࢉͷ࣮૷
    w ಛఆ۠ؒͷίʔυยΛ੾Γग़ͤΔͷͰɺ࣮૷͕γϯϓϧʹ
    w DBMMDDͳΜ͔ΑΓTIJGUSFTFUͷํΛQSJNJUJWFͱ࣮ͯ͠૷ͯ͘͠Ε·ͤΜ͔Ͷʜ