1人で挑むSwiftコンパイラ 〜型システム入門編〜

https://fortee.jp/iosdc-japan-2024/proposal/7a48c2e8-2a6b-4391-84dd-d543c6c3bf09

1. S_Shimotori 1ਓͰ௅ΉSwiftίϯύΠϥ ʙܕγεςϜೖ໳ฤʙ iOSDC Japan 2024
2. 2 ΈΜͳ೉͍͜͠ͱΛ࿩ͯͯ͠
 ͍͍͚ͭͯͳ͍……ʂʂ
4. 4 omochimetaru. Swiftͷܕਪ࿦Λֶ΅͏. 2024, 3.
5. ͓΋ͪ͞ΜϚδײँ😭 • Θ͔Γ΍͔ͬͨ͢ʂ • ίϯύΠϥ΍ܕਪ࿦ͷΘ͔Γ΍͍͢ࢿྉ͸Ϛδوॏ 5
6. 6 ϚδΘ͔Γ΍͔ͬͨ͢οεʂ 2019೥ͷ߹॓ͷ ϋϯζΦϯ͕ݩωλͩΑ ϋϯζΦϯʂʁ ਌੾͗͢ΔͷͰ͸ʁʁ
7. 7 https://github.com/omochi/SwiftTypeInferenceHandsOn
8. SwiftTypeInferenceHandsOnͷ͓୊ • ஬৯͍ঢ়ଶͷͱ͜ΖΛࣗ෼Ͱ࣮૷͠ɺશςετΛύεͰ͖ͨΒΫϦΞ 8 ʙʙதུʙʙ
9. ςετ͸͜Μͳײ͡ • ྫɿlet a = 3ͷܕਪ࿦͕͏·͍͔͘͘ͷςετ 9 Intܕͱਪ࿦Ͱ͖ͨΒOKʂ
10. ͪΐͬͱݹ͍͚Ͳޓ׵ੑ͋Δ͔Βฏؾ ❤︎ 10
11. 🤔🤔🤔🤔🤔 11
12. _InternalSwiftSyntaxParser 12
13. 2019೥ 13 Swift 5.1 Internal Swift Syntax Parser swift-syntax (2019) SwiftTypeInferenceHandsOn
14. 2024೥ 14 Swift 5.1 Internal Swift Syntax Parser swift-syntax (2019) SwiftTypeInferenceHandsOn Swift 5.10 ❌
15. ʲֶͼᶃʳޓ׵ੑ͕ͳ͍͜ͱ΋͋Δ • 2019೥ • swift-syntax͕ίϯύΠϥಉࠝͷInternal Swift Syntax Parserʹґଘ͍ͯͨ͠ • 2024೥ • ίϯύΠϥ͔ΒISSP͕औΓআ͔Ε͍ͯΔ 15 5೥લͷswift-syntaxͱ࠷৽ͷίϯύΠϥͷ૊Έ߹ΘͤͰ͸࢖͑ͳ͍
16. ࠷৽ͷSwiftSyntaxʹରԠͤ͞·ͨ͠ 16 👈 ௚ͨ͠ʂ
17. ͔͜͜Β͕ຊ൪ʂ 17 ໨ࢦͤʂ
18. ಓͷΓ͸௕͘ݥ͍͠ • ϝιουͷ੹຿ͷൣғ͕Θ͔Βͳ͍ɺͲ͜·Ͱ࣮૷ͨ͠Β͍͍͔Θ͔Βͳ͍ 18 ʙʙதུʙʙ
19. ίϯύΠϥͷ࣮૷͸ظ଴݁Ռ͕໌Β͔ʂ • ࣮૷͢΂͖ॲཧ΍ظ଴݁Ռ͸໌Β͔Ͱ͋Γɺૉ௚ʹͦΕΛ࣮૷͢Ε͹OK • ϢʔβΠϯλʔϑΣʔε౳ʹ͋Γ͕ͪͳᐆດͳ;Δ·͍͸ͳ͍ 19
20. ίϯύΠϥͷ࣮૷͸ظ଴݁Ռ͕໌Β͔ʂ • ࣮૷͢΂͖ॲཧ΍ظ଴݁Ռ͸໌Β͔Ͱ͋Γɺૉ௚ʹͦΕΛ࣮૷͢Ε͹OK • ϢʔβΠϯλʔϑΣʔε౳ʹ͋Γ͕ͪͳᐆດͳ;Δ·͍͸ͳ͍ 20 ζόϦॻ͍ͯ͋ΔΘ͚Ͱ͸ͳ͍ ૉਓ͕ϊʔώϯτͰ೺Ѳ͢Δͷ͸೉͍͠ ͩͬͨΒ࣮ػ΍Debug View Hierarchy͔ΒḷΕͨͷʹ
21. ʲֶͼᶄʳ࣮૷ͷղઆΛฉ͖ಀ͢ͳ • ॳ৺ऀ͕ϊʔώϯτͰҰ໨Ͱ෼͔ΔΑ͏ʹ͸࣮૷͞Ε͍ͯͳ͍…ʂ • ಡΈ΍͍͢ՕॴΛ୳͢ͷ΋Ұۤ࿑ 21
22. 22 Ͱ͖ͨ🎉🎉 ʢͪΐͬͱؒҧ͚ͬͯͨͲʣ
23. ࣗ෼ͰίϝϯτΛॻ͖଍͠ͳ͕Βղ͍ͨ 23 ※ωλόϨ๷ࢭͷͨΊ෬͍ͤͯ·͢
24. ॴײʢ੍ݶ࣌ؒͷ؍఺ʣ • ςετ͸͢΂ͯύεͰ͖͕ͨɺ͚ͬ͜͏͕͔͔࣌ؒͬͨ • ϚΠϖʔεʹ೰Μͩͷ΋͋Γΰʔϧσϯ΢ΟʔΫΛফඅͨ͠ • ΋͠1ധ2೔ͷ߹॓Ͱ௅ઓ͍ͯͨ͠ΒΫϦΞͰ͖ͯͳ͔ͬͨ😢 24
25. ॴײʢ೉қ౓ͷ؍఺ʣ • ࣗྗͰશ෦ղ͚ͨ🎉ɹҰ෦ؒҧ͚ͬͯͨͲ • ղ౴ͱ௚઀ؔ܎ͷͳ͍ॴʹ͍͚ͭͯͩͰ΋୭͔ͱٞ࿦Ͱ͖ͨΒΑ͔͔ͬͨ΋ • ASTͷϊʔυ΍visitorύλʔϯͳͲ΋ݟͲ͜Ζ 25
26. ʲֶͼᶅʳஸ౓͍͍՝୊Λιϩ߈ུ͢Δ • ஸ౓͍͍೉қ౓ͷ՝୊͕ݟ͚ͭΒΕΔͱલ޲͖ʹͳΕΔɺָ͍͠ • ͬ͘͡Γιϩ߈ུͷ࣌ؒΛ࣋ͭͷ΋˕ 26
27. ·ͱΊ • ؾʹͳΔൃද͸ࢀߟจݙ΋೷͍ͯΈΔ • ࢥ͍੾ͬͯ௅ઓ͢Δͱ૝૾Ҏ্ͷֶͼ͕ಘΒΕΔ • ҰॹʹϋϯζΦϯʹ௅ઓͯ͠೰ΜͰσΟεΧογϣϯ͠Α͏ͥʂ 27
28. Special Thanks🙇 • ͓΋ͪϝλϧ͞Μ 28
29. S_Shimotoriʹ͍ͭͯ • X: S_Shimotori_pub • GitHub: S-Shimotori • ੜଉ஍: ࣗ୐ɺͨ·ʹ౦ژΨʔσϯςϥεلඌҪொ 29
30. ͓·͚
31. ࢀߟจݙ • Swiftͷܕਪ࿦Λֶ΅͏ | Let's Learn About Type Inference in Swift - Speaker Deck • https://speakerdeck.com/omochi/lets-learn-about-type-inference-in-swift • omochi/SwiftTypeInferenceHandsOn: Swiftc߹॓ 2019/09/28 • https://github.com/omochi/SwiftTypeInferenceHandsOn • Θ͍Θ͍swiftc։ൃ߹॓ at ౬Տݪ ͓Μ΍Ͳܙʙܕਪ࿦ΞϧΰϦζϜΛֶͿʛsonson • https://note.com/sonson/n/n406f129fc993 31
32. ࢀߟจݙ • swift-syntax/Changelog.md at main · swiftlang/swift-syntax • https://github.com/swiftlang/swift-syntax/blob/main/Changelog.md • Quick Overview of SwiftParser • https://speakerdeck.com/kitasuke/quick-overview-of-swiftparser • 32
33. ૉࡐ • ;͖ͩ͠ૉࡐઐ໳αΠτʮϑΩμγσβΠϯʯ – ϑΩμγૉࡐ͕1000Ҏ্ू·ΔαΠτ • https://fukidesign.com/ 33