我正在尝试确定 Clojure 和 F# 用于创建 DSL 的工具。为了创建和操作 DSL，它们各自提供了哪些工具？
由于 F# 是静态类型的，这是否会使这项特定任务变得更加困难？在 Clojure 部分，我没有真正的经验，但众所周知，所有 LISP 都非常适合元编程/DSL。
我的问题并不是要在两种语言之间进行战争或类似的事情。如果我最近对两者都提出疑问，是因为我确实认为两者都很棒，并且想更多地了解两者的细节。
在阅读了几天有关意向编程的文章后，它让我重新对 DSL 和所有东西产生了兴趣。
虽然我对 F# 有一些了解，但确实我还没有使用引号或类似的东西开发任何东西。我已经看到了基于有区别的联合的 DSL 示例，这些示例看起来很有趣。
【问题讨论】：
标签： f# clojure metaprogramming dsl
您最终可以用任何语言创建 DSL。
Clojure / 其他 Lisps 特别独特且非常适合元编程的原因在于它们是homoiconic - 也就是说，语言本身以相同语言的数据结构自然地表达。在 Lisp 中，您实际上是直接将代码编写为 AST。
这非常强大——这意味着代码生成实际上等同于创建一个相对简单的数据结构。该语言为您提供了在编译时通过宏生成任意代码的工具。这有效地允许您“扩展语言”以支持您需要的任何特定 DSL。
举个例子，我最近发现自己想要一个在 Clojure 中的命令式for 循环（向函数式编程纯粹主义者道歉，但有时你想要一个......）。将其添加到语言中是 5 行：
(defmacro for-loop [[sym init check change :as params] & steps]
`(loop [~sym ~init value# nil]
(if ~check
(let [new-value# (do ~@steps)] (recur ~change new-value#))
value#)))
所以现在我可以这样做了：
(for-loop [i 0 (< i 10) (inc i)]
(println i))
=> < prints numbers from 0..9 >
这显然是一个简单的例子，但希望清楚的是，通过创建一组简短的宏来生成新的语言结构，这些宏可以扩展为您想要的代码，这使得构建 DSL 变得特别容易。
一些您可能会感兴趣的阅读/链接：
【讨论】：
我不能谈论 Clojure，因为我没有使用过它，但我对 F# 中的 DSL 有所了解。 F# 提供了两个主要的面向语言的编程特性（Don Syme 喜欢这样称呼它们）：代码引用和计算表达式。
代码引用更接近于使用 Lisp 等语言中的宏所获得的效果。它们允许您以编程方式生成表达式，然后您可以执行这些表达式。通过在 F# 表达式上使用 ReflectedDefinition 属性，您可以访问它们的 AST。详情请见http://msdn.microsoft.com/en-us/library/dd233212.aspx。
计算表达式类似于 Haskell 中的 do 表示法。编译器使用特殊语法将代码重写为对您定义的类型的调用。这种类型应该理想地形成一个单子。由于它们是伪装的 monad，它们应该允许您实现 DSL 的自定义语义。详情请见http://msdn.microsoft.com/en-us/library/dd233182.aspx。
IMO 计算表达式更适合在 F# 之上编写 DSL，而代码引用更适合转换或翻译等任务（例如 F# 到 JavaScript）。
除了这两个主要功能之外，您还可以使用其他语言。
当然，上面我只讨论了嵌入式领域特定语言。您可以加倍努力，将 fslex 和 fsyacc 用于独立的 DSL。
【讨论】：