LISP 更好地理解多级列表

Question

我试图通过创建一个函数来更好地理解 lisp 中的多级列表，在该函数中，我从多级列表中删除所有不是数字的元素。我首先尝试使用 sriv0 函数将其展平，然后检查列表的第一个参数是否为数字。但是我在尝试该功能时遇到问题
(func '(5 (5 2 (8)(7 (9)5)))) .我得到 :COND :variable IF HAS NO VALUE

代码：

    (DEFUN striv0 (lis)
(COND        ((NULL lis) NIL)
    ((ATOM lis) (LIST lis))
    (T (APPEND (striv0 (FIRST lis))
            (striv0 (REST lis))))
))

(DEFUN func (lis) 
(LET( (newList (striv0 lis))  ))
(COND ((NULL newList) NIL)
    ( T(IF (NUMBERP (FIRST newList))   
             ((func(REST newList)))))))

我相信我已经设法解决了这个问题，方法是通过检查数字参数或内部列表来将第二个函数融入第一个函数，如果两者都不是，它会沿着列表进一步移动。：

    (DEFUN  checkNumber (lis)
(COND    ((NULL lis) NIL)
    ((ATOM lis) (LIST lis))
    (T (if ( or(NUMBERP ( FIRST lis))(LISTP (FIRST lis)))
         (APPEND ( checkNumber (FIRST lis))
            ( checkNumber (REST lis)))
       ( checkNumber (REST lis))  )
     )   
)
)

Answer 1

这里有一些逐行反馈和一些提示：

(DEFUN func (lis)                    ; why is this called FUNC
                                     ;   and not something useful?
                                     ; why is the variable called
                                     ;  LIS and not LIST?

(LET( (newList (striv0 lis))  ))     ; why is this not indented?
                                     ; why does LET not have
                                     ;   body forms?
                                     ; why is the LET ending here?


(COND ((NULL newList) NIL)           ; why is this not indented?
    ( T(IF (NUMBERP (FIRST newList)) ; why is this not indented?
             ((func(REST newList)))))))  ; why are there so
                                         ;   many parentheses?
                                         ; why is it starting
                                         ;   with two parentheses?

Answer 2

首先，格式化您的代码。公认的约定是使用小写符号并在符号名称中用破折号分隔单词部分，例如。 G。 new-list。缩进用于在同一文本列中对齐同一级别的表单。 Lisp 风格的文章有很多种，here 就是其中之一。以下是您的代码的外观：

(defun striv0 (lis)
  (cond ((null lis) nil)
        ((atom lis) (list lis))
        (t (append (striv0 (first lis))
                   (striv0 (rest lis))))))

(defun func (lis) 
  (let ((new-list (striv0 lis))))
  (cond ((null new-list) nil)
        (t (if (numberp (first new-list))
               (cons (first new-list) (func (rest new-list)))))))

一个好的编辑器会为你做缩进。如果缩进不符合您的期望，您就知道您犯了语法错误。编辑器还将显示匹配的括号对。

Let 将绑定列表作为第一个参数，然后在其body 中使用任意数量的表单。只有在该体内，绑定才有效。您想将 cond 表单放入该正文中：

(defun func (lis) 
  (let ((new-list (striv0 lis)))
    (cond ((null new-list) nil)
          (t (if (numberp (first new-list))
                 ((func (rest new-list))))))))

注意缩进是如何自动反映代码结构的：​​cond 表单现在缩进了两个空格，以表明它在 let 正文内。我实际编辑的是将let 表单的右括号移到末尾。

最后一个表单 ((func (rest new-list))) 不是一个有效的 Lisp 表单。表单必须始终以运算符开头（可以是符号或 lambda 形式）。我认为您的问题在早期版本中看起来正确：(cons (first new-list) (func (rest new-list)))。

我现在尝试为这些函数找到更好的名称。您的striv0 可能通常被命名为flatten。 “多级列表”在 Lisp 中通常称为“树”。您的func 可能因此被称为keep-numbers-from-tree。

我不确定扁平化是否是您要求的一部分。无论如何，我都会将其分开，因为每次通过递归再次执行此操作似乎是多余的。先展平，然后过滤数字。

如果展平不是您的要求的一部分，请不要这样做。遍历树时，每个点只有三种可能性：它是一个列表（然后递归），它是一个数字（保持），或者它是一个非数字原子（跳过）。