如果 Lisp 中的宏是一元的，这意味着什么？

Question

在Lux Language introduction我们读到：

与大多数其他 lisps 不同，Lux 宏是一元的。 (Lux a) 类型是负责通过宏线程化Compiler 实例来实现魔法的类型。宏必须具有Macro 类型，然后声明为宏。

现在我假设这意味着在编译时可以获得额外的类型检查信息，从而为您提供有关代码正确性的一些反馈。

但是你可以在编译时发现的宏有什么不正确之处呢？

我的问题是：如果 Lisp 中的宏是一元的，这意味着什么？

Answer 1

粗略一看，似乎“普通”宏和阅读器宏在 Lux 中都是一元的。

对于普通宏，它们通过线程处理Compiler 类型的状态。各种宏操作（我想gensyming 将是一个明显的例子）需要改变这个内部状态，因为它们依赖于有状态的效果，比如维护下一个可用的新原子。线程状态（即看起来像 s -> (a, s) 的函数，获取初始状态作为参数并返回更新的状态和结果）表现出明显的一元结构，即给定一些第一步 s -> (a, s)，选择下一步 s -> (b, s)可以依靠查看中间结果a。

对于阅读器宏，这是一个类似的故事，除了所讨论的效果是输入的消耗。一元解析器允许先前使用的输入影响后续输入的解析方式。