执行一个函数直到它返回一个 nil，将它的值收集到一个列表中

Question

我从XKCD's Hofstadter comic 得到这个想法；在（任何）Lisp 方言中创建一个条件循环的最佳方法是什么

对于那些没有看过这个笑话的人来说，道格拉斯·霍夫施塔特的“八个字”自传只有六个字：“I'm So Meta, Even This Acronym”，其中包含笑话的延续：（有些奇怪meta-paraprosdokian？）“Is Meta”——开玩笑的是自传实际上是“我是如此 Meta，即使这个首字母缩写词也是 Meta”。但是为什么不更深入呢？

假设首字母缩略词函数META从一个字符串创建一个首字母缩写词并将其拆分为单词，如果字符串只包含一个单词，则返回NIL：

(meta "I'm So Meta, Even This Acronym") ⇒ "Is Meta"
(meta (meta "I'm So Meta, Even This Acronym")) ⇒ "Im"
(meta (meta (meta "I'm So Meta, Even This Acronym"))) ⇒ NIL

(meta "GNU is Not UNIX") ⇒ "GNU"
(meta (meta "GNU is Not UNIX")) ⇒ NIL

现在我正在寻找如何实现一个函数，以便：

(so-function #'meta "I'm So Meta, Even This Acronym") 
⇒ ("I'm So Meta, Even This Acronym" "Is Meta" "Im")
(so-function #'meta "GNU is Not Unix")
⇒ ("GNU is Not Unix" "GNU")

最好的方法是什么？

Answer 1

这很容易。我不想写解决方案，所以我会——但它会是糟糕的 elisp 版本，如果你坚持下去，可能会带来意想不到的启发：

(defun so-function (f str)
  (let (x '())
    (while str (setq x (cons str x)) (setq str (funcall f str)))
    (reverse x)))

要试试这个，你需要meta，但我不知道你会如何决定在哪里放置空格，所以我会假装它：

(defun meta (x)
  (cadr (assoc x '(("I'm So Meta, Even This Acronym" "Is Meta")
                   ("Is Meta" "Im")
                   ("GNU is Not UNIX" "GNU")))))

这使您想要的代码工作。至于启示——试着写它而不是你想要的，so-function 将是一个更高阶的函数——一个像这样工作的函数：

(funcall (so-function #'meta) "GNU is Not UNIX")

或者，在方案中：

((so-function meta) "GNU is Not UNIX")

这里的重要提示是，你不能在普通的 elisp 中做到这一点（至少不能没有来自 cl 库的技巧）。要获得充分的信任，请避免突变——这将导致您在 Scheme 中编写它的自然方式，甚至可能看起来比 setq 版本更具可读性。

Answer 2

把它放在一起，它似乎工作：

(defun collect-until-null (function initial-value)
  "Collects INITIAL-VALUE and the results of repeatedly applying FUNCTION to
   INITIAL-VALUE into a list.  When the result is NIL, iteration stops."
  (if initial-value
      (cons initial-value
            (collect-until-null function (funcall function initial-value)))))

使用metaEli Barzilay 发布的稍作修改的版本，

(defun meta (x)
  (cadr (assoc x
               '(("I'm So Meta, Even This Acronym" "Is Meta")
                 ("Is Meta" "Im")
                 ("GNU is Not UNIX" "GNU"))
               :test #'equal))) ;strings with the same characters aren't EQL

我得到了你想要的结果。

CL-USER> (collect-until-null #'meta "I'm So Meta, Even This Acronym")
("I'm So Meta, Even This Acronym" "Is Meta" "Im")

CL-USER> (collect-until-null #'meta "GNU is Not UNIX")
("GNU is Not UNIX" "GNU")

---

编辑：@Rainer Joswig 指出，如果给定足够大的序列，collect-until-null 将耗尽堆栈。下面是 Rainer 的没有这个问题的迭代版本。

(defun collect-until-null-iter (function initial-value)
  "Collects INITIAL-VALUE and the results of repeatedly applying FUNCTION to
   INITIAL-VALUE into a list.  When the result is NIL, iteration stops."
  (loop for result = initial-value then (funcall function result)
        while result collect result))