Taipei.rb 寫一個送禮自用兩相宜的 Compiler

Transcript

1. 1.

   用 Ruby 寫一個送禮自用 兩相宜的 Compiler

2. 2.

   襟 儘 䓛⛳ @elct9620 WEB DEVELOPER GAME DEVELOPER

3. 3.

   None
4. 4.

   None
5. 5.

   #I_feel_border ⼤大家都在寫 Compier 作業

6. 6.

   C4 不夠⽤用就⽤用 C5 啊！ https://github.com/elct9620/5compiler Demo First Talk

7. 7.

   Lexer Tokenizer Parser Source Code AST

8. 8.

   簡單說就是照規則把字串串切開來來 Lexer

9. 9.

   Lexer.new("count = 1 if reset") # ['count', '=', '1', 'if',

   'reset'] Lexer
10. 10.

    class Lexer < Array KEYWORDS = %w[if else end puts].freeze

    KEYWORD_RULE = /(?<keyword>#{KEYWORDS.join('|')})/ end Lexer
11. 11.

    RULE = Regexp.union( LINEFEED_RULE, SYMBOL_RULE, KEYWORD_RULE, STRING_RULE, NUMBER_RULE, WORD_RULE )

    Lexer
12. 12.

    script.scan(RULE).flatten.compact # ['count', '=', '1', 'if', 'reset'] Lexer

13. 13.

    把 Lexer 切好的⽂文字片段做簡單的分類 Tokenizer

14. 14.

    Tokeinzer.new(['if', 'reset']) # [ # <Token @type=“keyword” # @value="if"> #

    <Token @type=“identifier" # @value="reset"> # ] Tokenizer
15. 15.

    MATCH_RULES.each do |type, rule| if word.match?(rule) return Token.new(type, word) end

    end Token.new(:literal, word) Tokenizer
16. 16.

    class Token # ... def symbol? type == :symbol end

    # ... end Tokenizer
17. 17.

    依照 Token 的狀狀況轉換成⽤用樹狀狀的⽅方式表⽰示程式運作 Parser

18. 18.

    IF TRUE FALSE BLOCK BLOCK

19. 19.

    class Parser def parse tokens = @tokenizer.to_enum @context = Node::Context.new(tokens)

    @ast = context.ast end end Parser
20. 20.

    loop do break if t.peek.else? || #... #… if t.peek.fn?

    next @ast << Node::Function.new(t) end #... end Parser
21. 21.

    Context Parser Function Enter Context State Exit State Next token

    is ‘else’ Enter Function State Exit State Next token is ‘end’
22. 22.

    基於 Parser ⽣生成的 Abstract Syntax Tree 執⾏行行程式 Virtual Machine

23. 23.

    將 AST 轉換為機器碼或者 VM 可以直接讀取的規格 Bytecode

24. 24.

    借⽤用 Ruby VM 直接執⾏行行 `Kernel.send(‘puts’, ‘Hello World’)` 5Compiler’s VM

25. 25.

    在 Router 中可以⽤用來來判斷⽬目前請求的網址對應的 Controller Rails’s AST

26. 26.

    在 ActiveRecord (Arel) 可以⽤用來來組成 SQL 語法 Rails’s AST

27. 27.

    ⽤用來來動態執⾏行行 ActiveRecord 相關的動作 Ex. JSON Query, Update … Tamashii::TLang’s AST

28. 28.

    很可惜困難的是 VM 怎麼動起來來喔⋯⋯ 聽起來來好像很簡單，對吧？

29. 29.

    None