Improving Swift Tools with libSyntax

Slide 1

Slide 1 text

*NQSPWJOH4XJGU5PPMTXJUIMJC4ZOUBY )BSMBO)BTLJOT !IBSMBOIBTLJOT

Slide 2

Slide 2 text

"HFOEB ↟ (PPWFSDPNQJMFSCBTJDT ↟ *OUSPEVDFMJC4ZOUBY ↟ -FBSOUIFEFTJHOPGMJC4ZOUBY ↟ -FBSOUIFMJC4ZOUBY"1*T ↟ 8SJUFB4XJGUGPSNBUUFS

Slide 3

Slide 3 text

4FNBOUJD"OBMZTJT 1BSTFS -FYFS $PNQJMFS#BTJDT Lexers, Parsers, Code Gen, Oh My! struct Cat {} [kw_struct, ident("Cat"), l_brace, r_brace] $BU 'SPOUFOE #BDLFOE

Slide 4

Slide 4 text

.BDIJOF-PXFSJOH 4FNBOUJD"OBMZTJT 1BSTFS -FYFS $PNQJMFS#BTJDT Lexers, Parsers, Code Gen, Oh My! struct Cat {} [kw_struct, ident("Cat"), l_brace, r_brace] $BU $BU 0QUJNJ[FS 4*-(FO 0101001010100… "OBMZTJT --7.*3(FO 'SPOUFOE #BDLFOE

Slide 5

Slide 5 text

4XJGU"CTUSBDU4ZOUBY5SFF struct Cat { let name: String }

Slide 6

Slide 6 text

4XJGU"CTUSBDU4ZOUBY5SFF struct Cat { let name: String } 4USVDU $BU .FNCFST 1SPQFSUZ OBNF 4USJOH MFU

Slide 7

Slide 7 text

MJC4ZOUBY ↟ 'VMMTPVSDFQSFTFSWJOH4ZOUBYUSFF ↟ 4XJGUBOE$"1*T ↟ ,FFQTUSBDLPGBMMUPLFOTBOE5SJWJB ↟ 4QBDFT OFXMJOFT DPNNFOUT ↟ &WFSZUIJOHOFDFTTBSZUPQSJOUUIFGJMFCBDLPVU Why throw it all away?

Slide 8

Slide 8 text

MJC4ZOUBY5SFF struct Cat {}

Slide 9

Slide 9 text

MJC4ZOUBY5SFF struct Cat {} struct Cat { }

Slide 10

Slide 10 text

MJC4ZOUBY5SFF struct Cat {} struct Cat { }

Slide 11

Slide 11 text

MJC4ZOUBY5SFF struct Cat {} struct Cat { }

Slide 12

Slide 12 text

5SBOTGPSNJOH4ZOUBY struct Feline {} struct Cat {}

Slide 13

Slide 13 text

5SBOTGPSNJOH4ZOUBY struct Feline {} struct Cat {} struct Cat {} struct Cat { }

Slide 14

Slide 14 text

struct Cat {} struct Cat { } struct Feline {} struct { } Feline 5SBOTGPSNJOH4ZOUBY struct Feline {} struct Cat {}

Slide 15

Slide 15 text

struct Cat {} struct Cat { } struct Feline {} struct { } Feline 5SBOTGPSNJOH4ZOUBY struct Feline {} struct Cat {}

Slide 16

Slide 16 text

struct Cat {} struct Cat { } struct Feline {} struct { } Feline 5SBOTGPSNJOH4ZOUBY struct Feline {} struct Cat {}

Slide 17

Slide 17 text

struct Cat {} struct Cat { } struct Feline {} struct { } Feline 5SBOTGPSNJOH4ZOUBY struct Feline {} struct Cat {}

Slide 18

Slide 18 text

(SJUUZ%FUBJMT ↟ 3BX4ZOUBY ↟ 4ZOUBY%BUB ↟ 4ZOUBY/PEFT

Slide 19

Slide 19 text

3BX4ZOUBY indirect enum RawSyntax { }

Slide 20

Slide 20 text

3BX4ZOUBY indirect enum RawSyntax { case node(SyntaxKind, [RawSyntax], SourcePresence) }

Slide 21

Slide 21 text

3BX4ZOUBY indirect enum RawSyntax { case node(SyntaxKind, [RawSyntax], SourcePresence) case token(TokenKind, Trivia, Trivia, SourcePresence) }

Slide 22

Slide 22 text

5SJWJB3VMFT ↟ 5SBJMJOH5SJWJB ↟ "UPLFOPXOTUIFUSJWJBBGUFSJUVQUPUIFGJSTUOFXMJOF ↟ -FBEJOH5SJWJB ↟ "UPLFOPXOTUIFUSJWJBCFGPSFJUTUBSUJOHXJUIUIFGJSTUOFXMJOF Two Simple Rules for Lexing my Beautiful Code