Swift Macro に備えて構文木を 10min で学ぶ / Learn Syntax Tree for Swift Macro in 10 minutes

来るべき Swift Macro に備えて Swift の構文木について学びましょう。この発表の前半では Swift Macro を定義する際に理解が必要な「構文木」とは何かを初心者向けに説明します。
https://dena.connpass.com/event/291447/

Transcript

1. 4XJGU
   .BDSP
   ʹඋ͑ͯ 
 ߏจ໦ΛNJO
   ͰֶͿ Kuniwak - DeNA Co.,Ltd. 2023.08.24 SwiftWednesday
2. "CPVU
   NF
3. ,VOJXBL
   w ॴଐ
   ˠ
   
   
   
   
   
   
   
   
   
   
   
   w 4XJGU4ZOTUBY
   ʹ 
 DPOUSJCVUF
   ͨ͜͠ͱ͋Δ
   w ࠷ۙ
   J04
   ΞϓϦॻ͍ͯͳ͍
   w "QQ$PEF
   ͸͍͍ͧʢྦʣ 3
4. ෼ؒͰ఻͍͑ͨ͜ͱ
5. ߏจ໦ͱ͸ίʔυΛѻ͍΍͍͢ 
 σʔλ΁ม׵ͨ͠΋ͷͰ͋Δ
   ߏจ໦͸ා͘ͳ͍ՄѪ͍Α 5
6. 4XJGU
   .BDSP
   ͱ͸
7. 4XJGU
   ʹ
   .BDSP
   ͕΍͖ͬͯͨ
   4XJGU
   
   ͔Β࢖͑Δ 7
8. 8 ࢖͑Δ
   .BDSP
   ͸࣍ͷͭɿ
   w 'SFFTUBOEJOH
   .BDSP
   w "UUBDIFE
   .BDSP
9. 9 @OptionSet<Int> struct Permissions { private enum Perm: Int { case read case write case execute 
 } } struct Permissions { private enum Perm: Int { case read case write case execute 
 } static let read: Self = 
 Self(rawValue: 1 << Perm.rea 
 static let write: Self = 
 Self(rawValue: 1 << Perm.wri 
 static let execute: Self = 
 Self(rawValue: 1 << Perm.exe } "UUBDIFE
   .BDSP
   ͷྫ Attached macro ల։
10. ͍ͣΕʹ΋ڞ௨͢Δͷ͸
    ߏจ໦
    ͔Β 
 ߏจ໦
    ΁ͷม׵Ͱ͋Δͱ͍͏͜ͱ 10 ʁ ʁ ߏจ໦ ߏจ໦ ϚΫϩల։
11. ߏจ໦
    ͕Կ͔Λ஌Βͳ͍ͱ࡞Εͳ͍ 11 ʁ ʁ ߏจ໦ ߏจ໦ ϚΫϩల։
12. 
    ߏจ໦ͱ͸Կ͔
13. if let self = self {} 13 આ໌ʹ࢖͏αϯϓϧίʔυ
14. if let self = self {} JGจ 14 ͜Ε͸ʮJGจʯͱݺ͹ΕΔ
15. if let self = self {} if let self = self {} JGจ ෳจ ৚݅ 15 JGจ͸ʮ৚݅ʯͱʮෳจʯͰ 
 ߏ੒͞Ε͍ͯΔ
16. if let self = self {} if let self = self {} JGจ ෳจ 0QUJPO
    ଋറ৚݅ 16 ࠓճͷ৚݅෦෼ʹ͸ɺ 
 ʮ0QUJPOଋറ৚݅ʯͱ 
 ݺ͹Ε͍ͯΔ΋ͷ͕ೖΔ
17. if let self = self {} if let self = self {} JGจ ෳจ 0QUJPO
    ଋറ৚݅ ม਺ࣜ ม਺ύλʔϯ if let self = self {} 17 0QUJPOଋറ৚݅͸ɺ୅ೖઌͷ 
 ʮม਺ύλʔϯʯͱ୅ೖ͢Δ஋ͷ 
 ʮม਺ࣜʯͰߏ੒͞Ε͍ͯΔ
18. if let self = self {} if let self = self {} if let self = self {} 18 ͜ͷΑ͏ʹɺίʔυΛ෼ղͯ͠ 
 ߏ੒ཁૉΛḷ͍ͬͯ͘ͱɺ 
 ίʔυΛʮ໦ߏ଄ʯͱͯ͠ 
 ѻ͍ͬͯΔ͜ͱʹؾͮ͘
19. 19 ෳจ JGจ ෳจ ม਺ύλʔϯ ม਺ࣜ 0QUJPO
    ଋറ৚݅ if let self = self {} if let self = self {} if let self = self {}
20. 20 ෳจ JGจ ෳจ ม਺ύλʔϯ ม਺ࣜ 0QUJPO
    ଋറ৚݅ ͜ΕΛʮߏจ໦ʯͱΑͿ if let self = self {} if let self = self {} if let self = self {}
21. 4XJGU
    .BDSP
    ͷதͰ ߏจ໦͕Ͳ͏ಇ͔͘
22. 22 TUSVDUએݴ 1FSNJTTJPOT FOVNએݴ 1FSN $BTFએݴ $BTFએݴ $BTFએݴ SFBE XSJUF FYFDVUF ղੳ @OptionSet<Int> struct Permissions { private enum Perm: Int { case read case write case execute 
 } }
23. 23 TUSVDUએݴ 1FSNJTTJPOT FOVNએݴ 1FSN $BTFએݴ $BTFએݴ $BTFએݴ SFBE XSJUF FYFDVUF TUSVDUએݴ 1FSNJTTJPOT FOVNએݴ 1FSN $BTFએݴ $BTFએݴ $BTFએݴ SFBE XSJUF FYFDVUF ม਺એݴ ॳظԽઅ SFBE  ม਺એݴ ॳظԽઅ XSJU  ม਺એݴ ॳظԽઅ FYFD  ௥Ճ มܗ ੳ
24. struct Permissions { private enum Perm: Int { case read case write case execute 
 } static let read: Self = 
 Self(rawValue: 1 << Perm.rea 
 static let write: Self = 
 Self(rawValue: 1 << Perm.wri 
 static let execute: Self = 
 Self(rawValue: 1 << Perm.exe } 24 TUSVDUએݴ 1FSNJTTJPOT FOVNએݴ 1FSN $BTFએݴ $BTFએݴ $BTFએݴ SFBE XSJUF FYFDVUF ม਺એݴ ॳظԽઅ SFBE  ม਺એݴ ॳظԽઅ XSJU  ม਺એݴ ॳظԽઅ FYFD  ௥Ճ ௥Ճ ίʔυ
    ͱͯ͠ 
 ݟΔͱ มܗ
25. ߏจ໦ΛͲ͏΍ͬͯ 
 ֬ೝͰ͖Δ͔
26. 4XJGU
    "45
    &YQMPSFS
    Λ࢖͏ͷָ͕ 26
27. 27 https://swift-ast-explorer.com/
28. ߏจ໦͸Կʹ࢖͑Δͷ͔
29. ߏจ໦͸
    .BDSP
    Ҏ֎ʹ΋ 
 ͞·͟·ͳ͜ͱʹར༻Ͱ͖Δ 29
30. w ੩తղੳʢ-JOUʣ
    w ϑΥʔϚολ
    w ίʔυੜ੒
    w FUD 30
31. ͜ͷઈ޷ͷػձʹߏจ໦Λ 
 ֮͑ͯ͠·͍·͠ΐ͏ 31
32. 4XJGU
    ͷ
    ߏจ໦
    Λ஌ͬͯ 
 .BDSP
    ͚ͩͰͳ͘ 
 ৭ʑͳ͜ͱʹ׆༻͠Α͏ ·ͱΊ 32