将？x样式模式变量转换为最佳值

Question

这两个模式匹配示例中的optima中的等价物分别来自On Lisp和PAIP？

>(match ’(p a b c a) ’(p ?x ?y c ?x))
((?Y . B) (?X . A))
T


(difference between ?x* and ?y*)

Answer 1

最佳模式看起来好像正在构建您匹配的形式。例如，在这个简单的例子中：

(ql:quickload "optima")
(defpackage #:example (:use #:common-lisp #:optima))
(in-package #:example)
(match '(a b c) ((list 'a 'b X) (print X)))

图案的格式为(list 'a 'b x)，最后一个表单将打印：c

(match '(a b c d) ((list* 'a 'b x) (print x)))将打印的位置：(c d)

您可能熟悉构建列表（称为反引号）的甜蜜特殊语法。它通常用于定义宏，构造了许多s-expresssions。有一个针对optima的附加包，可让您以相同的方式编写模式。

(ql:quickload '("fare-quasiquote-optima" "fare-quasiquote-readtable"))
(named-readtables:in-readtable :fare-quasiquote)

(match '(a b c) (`(a b ,x) x))
(match '(a b c) (`(a b ,@x) x))

最后两个表单将分别返回c和(c)。