2

Lisp 是谐音的,这意味着代码可以被视为数据。哪些实现允许我在运行时这样做?以下是我的意思的示例,用伪代码表示:

(defun (my-func)
  (display "foo ")
  (display "bar ")
  (display "baz "))

(defun (main-loop)
  (my-func)
  (swap (first my-func) (second my-func))
  (main-loop))

那应该重复输出“foo bar baz bar foo baz”。

4

3 回答 3

3

这可能不是最优雅的方法,但在常见的 Lisp 中,您可以执行以下操作:

> (setq f '(defun foo () (princ "foo ") (princ "bar ") (princ "baz ")))
(DEFUN FOO NIL (PRINC "foo ") (PRINC "bar ") (PRINC "baz "))
> (eval f)
FOO
> (foo)
foo bar baz
NIL
> (defun frot ()
        ; Call foo (stored in f)
        (funcall (eval f))
        ; Swap the 1st and 2nd statements in foo
        (setf tmp (cadddr f))
        (setf (cadddr f) (cadr (cdddr f)))
        (setf (cadr (cdddr f)) tmp)))
FROT
> (frot)
foo bar baz
(PRINC "foo ")
> (frot)
bar foo baz
(PRINC "bar ")
> (frot)
foo bar baz
(PRINC "foo ")

这将 Lisp 函数存储在其中f而不是在原地执行它,但它确实说明了 Lisp 程序本身就是一个 Lisp 数据结构而不是可以动态操作和执行的事实。

于 2014-01-10T03:33:24.450 回答
2

其他答案很好地涵盖了这个问题。

但是,从实际层面来看,如果您使用 Common Lisp 和 Slime,并且希望能够将代码从 Emacs 编译到正在运行的程序中,您将需要告诉 Swank 从循环内部进行更新。

将以下内容添加到您的代码中,然后在循环中添加(update-swank)

(defmacro continuable (&body body)
  `(restart-case
       (progn ,@body)
     (continue () :report "Just Continue")))

(defun update-swank ()
  "Called from within the main loop, this keep the lisp repl working"
  (continuable
    (let ((connection (or swank::*emacs-connection*
                         (swank::default-connection))))
      (when connection
        (swank::handle-requests connection t)))))

这是使用您可以在此视频中使用编辑器实时重新编译这一事实的一种方法 (抱歉插入我自己的 vid)

另一种方法(再次使用 Slime)是告诉它使用不同的线程进行通信。我更喜欢前一种方法,但是当跨线程使用时,opengl 非常不稳定。

[更多详细信息] 上面代码中的 continuable 宏会捕获任何错误,并为您提供忽略它并继续的选项。我发现这真的很有帮助,而且我经常在 repl 中犯错误,我不想从错误中“中止”,因为这会中止我的主循环。

于 2014-01-10T16:10:32.440 回答
1

如果您正在修改您所描述的代码,那么您对代码的结构有所了解。由于您知道代码的结构,因此您可以参数化该结构

(define (foo-er foo bar baz)
  (lambda ()
     (display foo)
     (display bar)
     (display baz)))

然后,您可以通过显式传递参数来进行交换:

(define (main-loop)
  (let looping ((foo "foo ") (bar "bar ") (baz "baz "))
    ((foo-er foo bar baz))
    (looping bar foo baz)))

> (main-loop)
foo bar baz bar foo baz foo bar baz ...

CommonLisp 版本是类似的。

如果您需要保留my-func

(define my-func #f)
(define (main-loop)
  (let looping ((foo "foo ") (bar "bar ") (baz "baz "))
    (set! my-func (foo-er foo bar baz)
    (my-func)
    (looping bar foo baz)))
于 2014-04-07T14:34:59.957 回答