如何在列表上映射宏 - 或 - 如何使用宏定义数据类型

Question

我喜欢用我自己的数据类型构建一个 REPL，但我不喜欢一遍又一遍地编写所有相同的模式函数。

所以这是一个疯子，这让我很困扰。

我有自己的一组原始数据类型(define primitives '("mytrue" "myfalse" "mynumber" ...))

我还有(define primitiveTesters (list "mytrue?" "myfalse?" "mynumber?" ... )

现在的问题是，我只想应用（映射）或宏来获取数据类型？程序，它基本上只是检查记录的汽车 (mynumber . ( . )) 是否存在。

最后类似于(mynumber? (car (mynumber.(1.))) => #t。但为此我需要(define mynumber? (lambda (...)(...))

我的定义批处理宏看起来像这样，但我只是没有运气注入<variable>。

(define-syntax define-batching
(syntax-rules () 
((_ value expr)(define value expr))
((_ value) value)
((_ value1 value2 ...)  (begin (define value1 expr) (define-batching test2...)))
))

那么我是不是走到了死胡同？

我在 Emacs Lisp 中看到过类似的东西。

我到底要找的是：

 (define checker '(audi? volkswagen? mercedes?))
 (define datatype '(audi volkswagen mercedes))

 (map define-checker checker datatype )
 or
 (define-checker (car checker) (car datatype))

Answer 1

如果我对问题的理解正确，您需要一个宏 定义自己的类型检查器？

这是一种方法：

(define-syntax define-checker
  (syntax-rules ()
    [(define-checker name tag)
     (define (name object)
       (and (list? object)
            (not (null? object))
            (eq? (car object) 'tag)))]))

(define-checker my-car? car)

(my-car? '(car audi black))   ; evaluates to #t
(my-car? '(truck ford pink))  ; evaluates to #f

附录：

如果你写

(define checker '(audi? volkswagen? mercedes?))
(define datatype '(audi volkswagen mercedes))

这些值将在运行时可用。 因此，您需要采用不同的方法。

例如你可以写：

(define-checker+datatype (audi? audi) (volkswagen? volkswagen?))

代码如下：

(define-syntax define-checker
  (syntax-rules ()
    [(define-checker name tag)
     (define (name object)
       (and (list? object)
            (not (null? object))
            (eq? (car object) 'tag)))]))


(define-syntax define-checkers+datatype
  (syntax-rules ()
    [(define-checkers+datatype (name tag) ...)
     (begin
       (define-checker name tag)
       ...)]))

(define-checkers+datatype (audi? audi) (wv? wv))


(audi? '(audi black))

Answer 2

define-syntax 是卫生的，也就是说它不会影响父环境，也就是说它不能在其中定义符号。 您可以尝试使用 er-、ir- 宏转换器，它们允许您显式重命名符号。

在你的方案文档中谷歌的关键字是“er-macro-transformet”和“ir-macro-transformer”