Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

TopDownOperatorPrecedenceにおけるExpressionの解析処理を追う

kooooohe
September 26, 2019
Programming
1.5k
0

 TopDownOperatorPrecedenceにおけるExpressionの解析処理を追う

kooooohe

September 26, 2019

Transcript

77 slides

  1. TopDownOperatorPreceden ce(再帰下降構文解析)におけ るExpression(式)の解析処理 を追う

  2. 3 + 2 + 1

  3. ((3 + 2) + 1)

  4. *ast.InfixExpression *ast.InfixExpression *ast.IntegerLiteral *ast.IntegerLiteral *ast.IntegerLiteral 3 2 1

  5. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression

    BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  6. -3 + 10 * 2 + 1; 18

  7. (((-3) + (10 * 2)) + 1);

  8. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1

  9. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  10. func (p *Parser) parseExpressionStatement() *ast.ExpressionStatement { stmt := &ast.ExpressionStatement{Token: p.curToken}

    stmt.Expression = p.parseExpression(LOWEST) if p.peekTokenIs(token.SEMICOLON) { p.nextToken() } return stmt }

  11. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  12. func (p *Parser) parseExpression(precedence int /*LOWEST*/) ast.Expression { prefix/*parsePrefixExpression*/ :=

    p.prefixParseFns[p.curToken.Type] /* - MINUS*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parsePrefixExpression*/ for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 1

  13. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  14. func (p *Parser) parsePrefixExpression() ast.Expression { expression := &ast.PrefixExpression{ Token:

    p.curToken, /* - MINUS*/ Operator: p.curToken.Literal, } p.nextToken() /* 3*/ expression.Right = p.parseExpression(PREFIX) return expression }

  15. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -

  16. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  17. func (p *Parser) parseExpression(precedence int /*PREFIX*/) ast.Expression { prefix/*parsePrefixExpression*/ :=

    p.prefixParseFns[p.curToken.Type] /* 3 IDENT*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parseIntegerLiteral*/ for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 2

  18. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  19. func (p *Parser) parseIntegerLiteral() ast.Expression { lit := &ast.IntegerLiteral{Token: p.curToken}

    value, err := strconv.ParseInt(p.curToken.Literal, 0, 64) if err != nil { msg := fmt.Sprintf("could not parse %q as integer", p.curToken.Literal) p.errors = append(p.errors, msg) return nil } lit.Value = value return lit }

  20. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -

  21. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  22. func (p *Parser) parseExpression(precedence int /*PREFIX*/) ast.Expression { prefix/*parsePrefixExpression*/ :=

    p.prefixParseFns[p.curToken.Type] /* 3 IDENT*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp/*&ast.IntegerLiteral{Token: p.curToken} 3 */ := prefix()/*parseIntegerLiteral*/ /*FLASE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*PREFIX*/ < p.peekPrecedence() /* PLUS + */ { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 2

  23. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  24. func (p *Parser) parsePrefixExpression() ast.Expression { expression := &ast.PrefixExpression{ Token:

    p.curToken, /* - MINUS*/ Operator: p.curToken.Literal, } p.nextToken() /* 3*/ expression.Right/*&ast.IntegerLiteral{Token: p.curToken} 3 */ = p.parseExpression(PREFIX) return expression }

  25. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  26. func (p *Parser) parseExpression(precedence int /*LOWEST*/) ast.Expression { prefix/*parsePrefixExpression*/ :=

    p.prefixParseFns[p.curToken.Type] /* - MINUS*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parsePrefixExpression*/ leftExp / * &ast.PrefixExpression{Token: /* - MINUS*/ Operator: /* - */,Rignt: &ast.IntegerLiteral{Token:3} } */ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*LOWEST*/ < p.peekPrecedence() /*PLUS*/{ infix := p.infixParseFns[p.peekToken.Type]/*PLUS*/ if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) /*parseInfixExpression*/ } return leftExp } 1

  27. /* left = &ast.PrefixExpression{Token: /* - MINUS*/ Operator: /* -

    */,Rignt: &ast.IntegerLiteral{Token:3} } */ func (p *Parser) parseInfixExpression(left ast.Expression) ast.Expression { expression := &ast.InfixExpression{ Token: p.curToken, Operator: p.curToken.Literal, Left: left, } precedence := p.curPrecedence() / * PLUS*/ p.nextToken() expression.Right = p.parseExpression(precedence) return expression }

  28. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  29. func (p *Parser) parseExpression(precedence int / * PLUS*/ ) ast.Expression

    { prefix := p.prefixParseFns[p.curToken.Type / * 10*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix() /*parseIntegerLiteral*/ for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 3

  30. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  31. func (p *Parser) parseIntegerLiteral() ast.Expression { lit := &ast.IntegerLiteral{Token: p.curToken}

    /*10*/ value, err := strconv.ParseInt(p.curToken.Literal, 0, 64) if err != nil { msg := fmt.Sprintf("could not parse %q as integer", p.curToken.Literal) p.errors = append(p.errors, msg) return nil } lit.Value = value return lit }

  32. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -

  33. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  34. func (p *Parser) parseExpression(precedence int / * PLUS*/ ) ast.Expression

    { prefix := p.prefixParseFns[p.curToken.Type / * 10*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp/*&ast.IntegerLiteral{Token: 10} */ := prefix() /*parseIntegerLiteral*/ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*PLUS*/ < p.peekPrecedence()/*PRODUCT*/ { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) /*parseInfixExpression*/ } return leftExp } 3

  35. func (p *Parser) parseInfixExpression(left ast.Expression /*&ast.IntegerLiteral{Token: 10} */ ) ast.Expression

    { expression := &ast.InfixExpression{ Token: p.curToken, Operator: p.curToken.Literal, Left: left,/*&ast.IntegerLiteral{Token: 10} */ } precedence := p.curPrecedence() /*PRODUCT */ p.nextToken() expression.Right = p.parseExpression(precedence) return expression }

  36. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -

  37. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  38. func (p *Parser) parseExpression(precedence int /*PRODUCT*/ ) ast.Expression { prefix

    := p.prefixParseFns[p.curToken.Type/*2*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/* parseIntegerLiteral*/ for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 4

  39. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  40. func (p *Parser) parseIntegerLiteral() ast.Expression { lit := &ast.IntegerLiteral{Token: p.curToken}

    /*2*/ value, err := strconv.ParseInt(p.curToken.Literal, 0, 64) if err != nil { msg := fmt.Sprintf("could not parse %q as integer", p.curToken.Literal) p.errors = append(p.errors, msg) return nil } lit.Value = value return lit }

  41. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - *

  42. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  43. func (p *Parser) parseExpression(precedence int /*PRODUCT*/ ) ast.Expression { prefix

    := p.prefixParseFns[p.curToken.Type/*2*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp/* &ast.IntegerLiteral{Token: 2}*/ := prefix()/* parseIntegerLiteral*/ /*FALSE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*PRODUCT*/ < p.peekPrecedence() /*PLUS*/ { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 4

  44. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  45. func (p *Parser) parseInfixExpression(left ast.Expression /*&ast.IntegerLiteral{Token: 10} */ ) ast.Expression

    { expression := &ast.InfixExpression{ Token: p.curToken,*PLUS*/ Operator: p.curToken.Literal/*-*/ , Left: left,/*&ast.IntegerLiteral{Token: 10} */ } precedence := p.curPrecedence() /*PRODUCT */ p.nextToken() expression.Right/* &ast.IntegerLiteral{Token: 2}*/ = p.parseExpression(precedence) return expression }

  46. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  47. func (p *Parser) parseExpression(precedence int / * PLUS*/ ) ast.Expression

    { prefix := p.prefixParseFns[p.curToken.Type / * 10*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp/*&ast.IntegerLiteral{Token: 10} */ := prefix() /*parseIntegerLiteral*/ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*PLUS*/ < p.peekPrecedence()/*PRODUCT*/ { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) /*parseInfixExpression*/ &ast.InfixExpression{Token: PLUS,Operator: +l ,Left:/*&ast.IntegerLiteral{Token: 10} */ , Right: /*&ast.IntegerLiteral{Token: 2} */ } } 3

  48. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  49. /* left = &ast.PrefixExpression{Token: /* - MINUS*/ Operator: /* -

    */,Rignt: &ast.IntegerLiteral{Token:3} } */ func (p *Parser) parseInfixExpression(left ast.Expression) ast.Expression { expression := &ast.InfixExpression{ Token: p.curToken, PLUS Operator: p.curToken.Literal, PLUS Left: left, } precedence := p.curPrecedence() / * PLUS*/ p.nextToken() expression.Right = p.parseExpression(precedence) Right &ast.InfixExpression{Token: PLUS,Operator: +l ,Left:/*&ast.IntegerLiteral{Token: 10} */ , Right: /*&ast.IntegerLiteral{Token: 2} */ }} return expression

  50. &ast.InfixExpression{ Token: PLUS Operator: PLUS Left: &ast.PrefixExpression{Token: /* - MINUS*/

    Operator: /* - */,Rignt: &ast.IntegerLiteral{Token:3} } , Right: &ast.InfixExpression{Token: PLUS,Operator: +l ,Left:/*&ast.IntegerLiteral{Token: 10} */ , Right: /*&ast.IntegerLiteral{Token: 2} */ }} } = X

  51. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - + *

  52. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  53. func (p *Parser) parseExpression(precedence int /*LOWEST*/) ast.Expression { prefix/*parsePrefixExpression*/ :=

    p.prefixParseFns[p.curToken.Type] /* - MINUS*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parsePrefixExpression*/ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*LOWEST*/ < p.peekPrecedence()/* PLUS*/ { infix := p.infixParseFns[p.peekToken.Type]/* PLUS*/ if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExpX)/*parseInfixExpression*/ } return leftExp } 1

  54. func (p *Parser) parseInfixExpression(left ast.Expression X) ast.Expression { expression :=

    &ast.InfixExpression{ Token: p.curToken, PLUS Operator: p.curToken.Literal,PLUS Left: left, X } precedence := p.curPrecedence() PLUS p.nextToken() expression.Right = p.parseExpression(precedence) return expression }

  55. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  56. func (p *Parser) parseExpression(precedence int PLUS) ast.Expression { prefix :=

    p.prefixParseFns[p.curToken.Type] 1 if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix() for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 5

  57. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  58. func (p *Parser) parseIntegerLiteral() ast.Expression { lit := &ast.IntegerLiteral{Token: p.curToken}

    1 value, err := strconv.ParseInt(p.curToken.Literal, 0, 64) if err != nil { msg := fmt.Sprintf("could not parse %q as integer", p.curToken.Literal) p.errors = append(p.errors, msg) return nil } lit.Value = value return lit }

  59. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - * +

  60. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  61. func (p *Parser) parseInfixExpression(left ast.Expression X) ast.Expression { expression :=

    &ast.InfixExpression{ Token: p.curToken, PLUS Operator: p.curToken.Literal,PLUS Left: left, X } precedence := p.curPrecedence() PLUS p.nextToken() expression.Right = p.parseExpression(precedence) 1 return expression }

  62. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - + * +

  63. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  64. func (p *Parser) parseExpression(precedence int /*LOWEST*/) ast.Expression { prefix/*parsePrefixExpression*/ :=

    p.prefixParseFns[p.curToken.Type] /* - MINUS*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parsePrefixExpression*/ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*LOWEST*/ < p.peekPrecedence()/* PLUS*/ { infix := p.infixParseFns[p.peekToken.Type]/* PLUS*/ if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExpX)/*parseInfixExpression*/ } return leftExp } 1

  65. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  66. func (p *Parser) parseExpressionStatement() *ast.ExpressionStatement { stmt := &ast.ExpressionStatement{Token: p.curToken}

    stmt.Expression = p.parseExpression(LOWEST) if p.peekTokenIs(token.SEMICOLON) { p.nextToken() } return stmt }

  67. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral

    END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement

  68. &ast.InfixExpression { Token: PLUS Operator: PLUS Left: left, X Right:

    1 }

  69. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1

  70. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -

  71. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -

  72. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -

  73. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -

  74. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - *

  75. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - + *

  76. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - + * +

  77. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al

    *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - * +

More Decks by kooooohe

See All by kooooohe
k8s ~Nginx PHP-FPM CloudSQL~
kooooohe
0
67
k8s-Nginx-PHP-FPM
kooooohe
0
1.7k

Other Decks in Programming

See All in Programming
Secure Your Coding Agent Like It’s Malware (v1.5) 🇬🇧 @Code.talks 2026
richargh
0
150
自宅サーバはどこまで再現できるのか - Proxmox VE上のVM環境をIaCとバックアップで戻してみた
youto
0
120
AI-Powered Domain-Driven Design
ziobrando
0
450
どうしても Eloquent でリポジトリパターンをやりたいんだ #phpcon_niigata / phpcon-niigata-2026
shogogg
0
230
우리의 Nitro Modules는 당신의 Turbo Modules보다 아름답다
l2hyunwoo
0
260
Railsのためのパスキー実践入門 〜マルチテナントSaaSでの意思決定〜
utakaha
4
4.4k
コード生成時代のAPI定義を支えるRequest Spec移行
pvcresin
0
120
Materialが消えた日 〜真っ白なFlutterキャンバスにRenderObjectで絵を描く〜
umigishiaoi
0
160
動画プレイヤーはなぜカクつくのか 〜Flutterのレンダリングとネイティブの境界を解剖する〜
naruogram
0
340
Enforcing Your Architecture with Unit Tests in the AI Era (Swift Connection X)
steliosf
PRO
1
170
當我們開始不讀 Code - AI Agent 時代，Code Review 與 Clean Code 還剩下什麼？
jame2408
1
370
Apple Intelligenceとオンデバイス時代の到来
yahir0
0
240

Featured

See All Featured
Building a A Zero-Code AI SEO Workflow
portentint
PRO
0
830
Documentation Writing (for coders)
carmenintech
77
5.6k
Mobile First: as difficult as doing things right
swwweet
225
10k
<Decoding/> the Language of Devs - We Love SEO 2024
nikkihalliwell
1
380
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
11
1.1k
Unsuck your backbone
ammeep
672
58k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
250
1.3M
Ecommerce SEO: The Keys for Success Now & Beyond - #SERPConf2024
aleyda
1
2.3k
Navigating Weather and Climate Data
rabernat
0
590
The Cult of Friendly URLs
andyhume
79
7.1k
Making Projects Easy
brettharned
120
6.9k
Bootstrapping a Software Product
garrettdimon
PRO
306
120k