car和cdr

Question

我是新计划和有一个困难的时间使用汽车和cdr。我最近有一个ast字符串。

(define ast '(program
  ((assign (var i int) (call (func getint void int) ()))
   (assign (var j int) (call (func getint void int) ()))
   (while (neq (var i int) (var j int))
    ((if (gt (var i int) (var j int))
         ((assign (var i int) (minus (var i int) (var j int))))
         ((assign (var j int) (minus (var j int) (var i int)))))))
   (call (func putint int void) ((var i int)))))
)

我知道车还在前面。所以

(car ast)

返回程序。

我搞不懂如何使用car和cdr从ast获取字符串，例如“assign”、while、if和“call”。

Answer 1

您需要了解如何从球拍参考构建成对和列表

一对组合恰好是两个值。使用car过程访问第一值，用cdr过程访问第二值。对不是可变的(但请参阅可变对和列表)。 列表是递归定义的:它要么是常量null，要么是第二个值为list的一对。

基本上，每对(x . y)都是由两个元素组成的-- car得到x，cdr，我们得到y。

注意，x和y都可以是对或列表本身，就像您的AST，即(来自同一个引用)：

> (define lst1 (list 1 2 3 4))

>lst1 

'(1 2 3 4)

请注意，'(1 2 3 4)实际上是：(1 . ( 2 . ( 3 . ( 4 . ()))) <--对于了解方案中的实现非常重要。

> (car lst1)

1

> (cdr lst1)

'(2 3 4)

> (car (cdr lst1))

2

另一种连接car和cdr调用的方法(从右读取)：cdr的意思是(cdr lst)，然后在应答=> (car (cdr lst)) == (cadr lst)上应用car

> (cdddr lst1)

'(4)

> (cadddr lst1)

4

> (define lst2 (list (list 1 2) (list 3 4)))

>lst2 

'((1 2) (3 4)) 

== ( ( 1 . ( 2 . ()) ) . ( 3 . ( 4 . () )))

> (car lst2) 

'(1 2)

>(cdr lst2)

'((3 4))

它实际上是((3 . (4 . () ) ) . () ) == ((3 4) . ()) == ((3 4))。

你没有问，但我假设你要遍历这棵树/列表。最终，您必须使用递归遍历(除非在此阶段使用不适合的高级方法，即准备就绪时检查CPS )如下：

(define runner 
  (lambda (tree)
    (if (null? tree)
        null
        (let ((first_element (car tree))
              (rest_of_tree  (cdr tree)))
          ;body:
          ;do some logic like:
              ;if first is list call runner on it:
              ;(runner rest_of_tree)
              ;possibly chain answer of logic and call together
              ;else check/return string is there (recognize tree root)
          ))))

希望这有助于问题的欢迎。