请问 lisp people, 哪些能力是只有宏能实现,而函数不能实现的?

[yazinnnn]

其他语言实现这些功能的难度咋样?

[namelosw]

最简单的就是，比如语言里面没有 if，你自己实现一个，或者实现一个 if 的反义词 unless 。

大部分语言不能实现是因为 if 的规则是 lazy evalutation，但是语言其他地方是 eager 的。

比如大部分语言的 if 是：

if (<boolean experssion>) {
<if statements>
} else {
<else statements>
}

用函数实现，可以想当然实现成成这样：

if (<boolean expression>,
<if statements>,
<else statements>)

这样的问题是，if 和 else 其实总是会被执行。必须要求用户多垫一层 lambda:

if (<boolean expression>,
() => <if statements>,
() => <else statements>)

另外比较常见的，就是比如像 C# 有 Linq 写起来可以会比较贴近 SQL 本身的概念。你在 LISP 里面也想用 Linq 就可以自己撸一个，比如在 Java 里就没办法造一个 Linq 语法。或者你需要用 Prolog 就可以自己造个 Prolog 等等，也可以给业务人员造个内嵌 DSL 。

其他语言比如 Java 可以用 Antler 之类的写 DSL，但是这个语言和 Java 之间没有任何配合，实现和通信都会很复杂。最关键的是，用这个语言的时候就会丢掉 Java 的所有本身的能力。

或者再举个例子，你想写一个互动教程，想在网页上讲解一个 UI 组件，同时展示给读者源代码和画出来的组件，那最简单的方式就是一边画出来组件，一边把源码抄一份当文本。如果是 LISP 的话，那就可以把代码引用起来，一面求值成字符串作为源码展示，一面求值执行成一个组件画在屏幕上可以交互。

[SoulClinic]

一般的编程语言就像我们的日常语言, 只有"名词"(数据),"形容词"(数据结构)和"动词"(函数)
而宏就是"副词", 可以直接修饰"动词"
如若没有副词, 有些句子要冗长的句子(形容词+名词+动词)才能表达出来