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

Transcript

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

2. 襟 儘 䓛⛳ @elct9620 WEB DEVELOPER GAME DEVELOPER

3. None
4. None

5. #I_feel_border ⼤大家都在寫 Compier 作業

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

7. Lexer Tokenizer Parser Source Code AST

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

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

   'reset'] Lexer

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

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

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

    Lexer

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

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

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

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

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

    end Token.new(:literal, word) Tokenizer

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

    # ... end Tokenizer

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

18. IF TRUE FALSE BLOCK BLOCK

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

    @ast = context.ast end end Parser

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

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

21. Context Parser Function Enter Context State Exit State Next token

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

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

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

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

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

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

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

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

29. None