使用 lexyacc 在 racket 中实现一个类似 C 语言的程序。

Question

我在看这两个资源(https:/github.comracketparser-toolsblobmasterparser-tools-libparser-toolssexamplescalc.rkt。和 https:/gist.github.comgcr1318240。)，虽然我还不完全理解主计算函数的工作原理，但我想知道是否有可能将其扩展到一个简单的类似于c的程序中，只是不使用函数？因此，它将会对if、whiles和print语句进行lex、解析和评估。所以类似于 (define-empty-tokens op-tokens ( newline = OC CC (open-curly/closed-curly for block statements) DEL PRINT WHILE (WHILE exp S) S IF S1 S2 (IF exp S1 S2) OP CP + - * / || % or && == != >= <= > < EOF ))

下面是我目前对它的扩展（第一个链接的代码），使其也能与booleans一起工作。

所以在calcl中我加了这两行:

[ (:= 2  #\|)   (token-||)]
[(:or "=" "+" "-" "*" "/" "%" "&&"      "==" "!=" ">=" "<=" ">" "<") (string->symbol lexeme)]

然后是:

(define calcp
  (parser

   (start  start)
   (end newline EOF)
   (tokens value-tokens op-tokens)
   (error (lambda (a b c) (void)))

   (precs (right =)


          (left  ||)
          (left &&)
          (left == !=)
          (left <= >= < >)
          (left - +)
          (left * / %)

         )

   (grammar

    (start [() #f]
           [(error start) $2]
           [(exp) $1])

    (exp [(NUM) $1]
         [(VAR) (hash-ref vars $1 (lambda () 0))]
         [(VAR = exp) (begin (hash-set! vars $1 $3)
                             $3)]
         [(exp || exp) (if  (not(and (equal? $1 0) (equal? $3 0) ))  1 0) ]  
         [(exp && exp) (and $1 $3)]
         [(exp == exp) (equal? $1 $3)]
         [(exp != exp) (not(equal? $1 $3))]
         [(exp < exp) (< $1 $3)]
         [(exp > exp) (> $1 $3)]
         [(exp >= exp) (>= $1 $3)]
         [(exp <= exp) (<= $1 $3)]


         [(exp + exp) (+ $1 $3)]
         [(exp - exp) (- $1 $3)]
         [(exp * exp) (* $1 $3)]
         [(exp / exp) (/ $1 $3)]
         [(exp % exp) (remainder $1 $3)]


         [(OP exp CP) $2]))))

但我很难理解上面的代码和下面的代码。如果可以的话，我想把它改一下，使它也能适用于ifs和whiles等。

(define (calc ip)
   (port-count-lines! ip)
  (letrec ((one-line
        (lambda ()
              (let ((result (calcp (lambda () (calcl ip))  )))
                (when result (printf "~a\n" result)  (one-line))
                )
                 ) ))
    (one-line))
  )

另外，这个家伙似乎是依靠换行符来标记语句的结束，也就是说，你不能在一行上有多于一条语句。我希望程序能够识别一行中的两个语句，并通过某种方式向前看并检查是否有新的未声明的变量、特殊关键字或开闭括号等来分别评估它们。

更新。

我用下面的规则在brag中建立了一个算术表达式的AST，但是除了重要的参数之外，我如何去掉所有的参数，以便我可以评估它？

例如：用输入列表。(list (token 'NUM 17) '+ (token 'NUM 1) '* (token 'NUM 3) '/ 'OP (token 'NUM 6) '- (token 'NUM 5) 'CP)

我回来了

'(exp (((((factor 17)))) + (((((factor 1))) * ((factor 3))) / ((((((factor 6)))) - (((factor 5))))))))

这是我的规则。

exp : add
/add : add ('+' mul)+  | add ('-'  mul)+ | mul  
/mul : mul ('*' atom)+  | mul ('/'  atom)+ | mul ('%'   atom)+ | atom
/atom :  /OP add /CP | factor
factor :  NUM | ID