如何界定懒惰和
问题描述:
我已经定义了下面的宏:如何界定懒惰和
(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'。
答
我发现我的错误:〜_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',如所见。
我认为代码看起来不友好。我会建议摆脱APPEND,创建一个谓词来检测基于arglist的方法存在,并为代码编写生成器函数。使用“功能抽象”。 – 2013-04-05 08:04:55
谢谢!我会仔细研究一下,特别是因为我更经常需要这个功能。 – 2013-04-05 12:08:02