1. Swift
freddi
1

2. (@freddi_kit)
Python
Perl Swift

3. • Swift
•

4. •
=
•
•
•
•

5. Swift
•
•

7. •
• C -> ( ) ->
• Swift -> (SIL) -> LLVM IR
• C -> Python

9. •
•

10. •
•
•

11. •

12. •

13. •
•
•

14.
(ab,aa )

15.
•
• let( ) letlet( )
( )
let[ ]a … → let
letlet[ ]a …→ letlet

16.
•
•
•

18.
: >> let a = 10;
// l ”l” (accept)
accept(Braph.QKeyWord, Braph.TokenNode.identifier(Optional("l")))
["l"]
// e ”le”
accept(Braph.QKeyWord, Braph.TokenNode.identifier(Optional("le")))
["l", "e"]
// e ”let”
accept(Braph.QForIndetifier,
Braph.TokenNode.keyword(Braph.TokenNode.KeyWordType.declaration, Optional("let")))
["l", "e", "t"]
// (undefined).
// ”let”
undefined
["l", "e", "t", " "]
//
accept(Braph.QForSeparator, Braph.TokenNode.separator)
[" "]
//

20. •
•
•

21. • (Syntax)
•Syntax Error
•
• ( )

22. < expr > ::= <expr> <+- > <term>
<expr>
< term > ::= <term> <*/ > <factor>
<factor>
< factor > ::= literal 10 1

23. int a = 10 + 5 - 10;

24. int a = 10 + 5 - 10;

25. int a = 10 + 5 - 10;

26. int a = 10 + 5 - 10;
+

27. int a = 10 + 5 - 10;
+
+

28. int a = 10 + 5 - 10;
+
+
:= `=`
:= `+` or

30. Swift Tour tuple
BNF( )

31. • BNF

32. • BNF)
•

33.
< statement > ::= <declaration>
<expr>
<return>
<assign>

34. < expr > ::= <expr> + <term>
<expr>
< term > ::= <term> * <factor>
<factor>
< factor > ::= literal

35. < initializer > ::= = <expr>
< assign > ::= identifier <initializer>
< declaration > ::= let identifier <initializer>
var identifier <initializer>

37. •LL
•SLR
•LR
•LALR

38. • LL
•
•
= OK

39. •
( ) < expr > ::= <expr> + <term>
<expr>
•
→

40. •LR SLR LALR
•
• OK
• LR
C++

41. •
•

42. •
•

43. • LR(1)
• 1
LALR(1) LL(1)

44. •BNF
•
• ->
• -> LR

45.
https://github.com/freddi-kit/Braph

46.
->

47.
https://github.com/freddi-kit/Braph

48. ω v

49. •
•
•

50. •

52. •
https://books.rakuten.co.jp/rb/12932375/
• LR parsing
https://www.slideshare.net/ichikaz3/lr-parsing
• LLVM
LLVM IR clang Brainf**k
https://itchyny.hatenablog.com/entry/2017/02/27/100000

53. https://github.com/freddi-kit/Braph