programming-languages - 静态键入如何限制宏？

Question

我正在阅读Paul Graham的“百年语言”文章。

http://www.paulgraham.com/hundred.html

他在那里宣称静态类型“排除了真正的宏”。

For example, types seem to be an inexhaustible source of research papers, despite the fact that static typing seems to preclude true macros-- without which, in my opinion, no language is worth using.

这是怎么回事？论文在哪里？我尝试在Google上搜索失败。

Answer 1

静态类型并不排除宏。例如，静态类型的Boo language has macros。 Nemerle也是如此。

但是，这取决于Graham用“真实”宏表示的含义。按照他的标准，Boo和Nemerle宏可能是“假”的。