namelosw
2021-08-21 17:02:59 +08:00
最简单的就是，比如语言里面没有 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 的话，那就可以把代码引用起来，一面求值成字符串作为源码展示，一面求值执行成一个组件画在屏幕上可以交互。