如何界定懒惰和

我已经定义了下面的宏：如何界定懒惰和

(defmacro ~lazy (expression) 
    `(lambda() 
    ,@expression)) 

(defgeneric force~ (value) 
    (:method (value) 
    value) 
    (:method ((value function)) 
    (funcall value))) 

(defmacro ~~ (expression) 
    `(~lazy (force~ ,expression)))

[...] 下面的宏定义名称“NAME”的定义有一些标准方法的通用功能。这应该像'REDUCE'一样工作，并强制所有惰性值在返回一个惰性值的时候，甚至一次遇到一个惰性值，否则返回一个非惰性值（由宏以'〜'开头和结尾来表示）。

(defmacro ~lazy-reduce~ (name reduce-fun (arg-var args-var) 
         &body methods) 
    (let ((first (gensym "first"))) 
    `(defgeneric ,name (,arg-var ,args-var) 
     ,@(append 
      (if (not (member `(,arg-var (,args-var cons)) 
          methods 
          :key #'car 
          :test #'equal)) 
       `((:method (,arg-var (,args-var cons)) 
        (let ((,first (first ,args-var))) 
        (if (functionp ,first) 
         (~~ (,reduce-fun (force~ ,first) 
             (force~ 
              (,name ,arg-var 
               (rest ,args-var))))) 
         (,name (,reduce-fun ,arg-var ,first) 
           (rest ,args-var))))))) 
      (if (not (member `((,arg-var function) 
          ,args-var) 
          methods 
          :key #'car 
          :test #'equal)) 
       `((:method ((,arg-var function) 
          ,args-var) 
        (~~ (,name (force~ ,arg-var) 
          ,args-var)))))) 
     ,@(mapcar (lambda (method) 
        (cons :method method)) 
       methods))))

现在我定义〜_AND〜是这样的：

(~lazy-reduce~ ~_and~ and (val vals) 
    (((val null) 
    vals) 
    nil) 
    ((val (vals null)) 
    val))

调用

(~_and~ t (list 2))

作品只是罚款，并返回 '2'，符合市场预期，但

(force~ ~_and~ t (list (~ 2)))

只返回'T'。

我不知道这是为什么，它阻止了我简洁地定义'〜FIND-IF'。

来源

2013-04-04 Thomas Bartscher

我认为代码看起来不友好。我会建议摆脱APPEND，创建一个谓词来检测基于arglist的方法存在，并为代码编写生成器函数。使用“功能抽象”。 – 2013-04-05 08:04:55

谢谢！我会仔细研究一下，特别是因为我更经常需要这个功能。 – 2013-04-05 12:08:02

我发现我的错误：〜_AND的第一种方法〜是这样的：

(:method (val (vals cons)) 
(let ((first (first vals))) 
    (if (functionp first) 
     (~~ (and (force~ first) 
       (force~ (~_and~ val (rest vals))))) 
     (~_and~ (and val first) 
       (rest vals)))))

（这可以通过MACROEXPAND-1〜_AND〜给定的定义看）这意味着所示的呼叫被评估为（大致）

(and (force~ (~ 2)) 
    T)

这返回'T'，如所见。

来源

2013-04-04 13:47:59

如何界定懒惰和

回答

相关问题