静态打字如何限制宏？

Question

我正在阅读保罗格雷厄姆的"百年语言"一文.

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

在那里,他声称静态输入"排除[s]真正的宏".

例如,类型似乎是取之不尽的研究论文来源,尽管静态类型似乎排除了真正的宏 - 否则,在我看来,没有语言值得使用.

这是怎么回事？论文在哪里？我尝试在Google上搜索但没有成功.

Answer 1

静态类型不排除宏.例如,静态类型的Boo语言具有宏.所以呢Nemerle.

但是,这取决于格雷厄姆的"真实"宏的含义.根据他的标准,Boo和Nemerle宏可能是"假的".