用于嵌套表达式的方案宏

发布于 2024-07-09 22:52:46 字数 402 浏览 9 评论 0原文

可以用Scheme（例如使用define-syntax）编写一个宏，该宏将采用这样的表达式：

(op a b c d e f g h i j)

并将这样的yield表达式作为输出？

(op (op (op (op (op (op (op (op (op a b) c) d) e) f) g) h) i) j)

当然，对于任意长度。鉴于这样的模板，我想不出一种方法来做到这一点：

(define-syntax op
  (syntax-rules ()
    [(_) 'base-case]
    [(v1 v2 ...) 'nested-case??]))

原文

Can a macro be written in Scheme (with define-syntax, for example) which will take expressions like this:

(op a b c d e f g h i j)

And yield expressions like this as output?

(op (op (op (op (op (op (op (op (op a b) c) d) e) f) g) h) i) j)

Of course, for arbitrary lengths. I can't think of a way to do it, given some template like this:

(define-syntax op
  (syntax-rules ()
    [(_) 'base-case]
    [(v1 v2 ...) 'nested-case??]))

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

涫野音 2024-07-16 22:52:46

(define bop list)

(define-syntax op
  (syntax-rules ()
    ((op a b) (bop a b))
    ((op a b c ...) (op (bop a b) c ...))))

例如，(op 1 2 3 4) 扩展为 (bop (bop (bop 1 2) 3) 4) 并计算为 (((1 2 ）3）4）。

(define bop list)

(define-syntax op
  (syntax-rules ()
    ((op a b) (bop a b))
    ((op a b c ...) (op (bop a b) c ...))))

For example, (op 1 2 3 4) expands to (bop (bop (bop 1 2) 3) 4) and evaluates to (((1 2) 3) 4).

回复收藏 0 原文

伴我心暖 2024-07-16 22:52:46

您想要应用于参数的函数本身应该是宏的参数。除此之外，我的解决方案是相同的。

#!r6rs

(import (rnrs base))

(define-syntax claudiu
  (syntax-rules ()
    ((claudiu fun first second)
     (fun first second))
    ((claudiu fun first second rest ...)
     (claudiu fun (claudiu fun first second) rest ...))))

The function you want to apply to the arguments should itself be an argument to the macro. Barring that, my solution was the same.

#!r6rs

(import (rnrs base))

(define-syntax claudiu
  (syntax-rules ()
    ((claudiu fun first second)
     (fun first second))
    ((claudiu fun first second rest ...)
     (claudiu fun (claudiu fun first second) rest ...))))

回复收藏 0 原文