Clojure和F#有哪些DSL创建工具？

Question

Clojure和F#有哪些DSL创建工具？

f#clojuremetaprogrammingdsl

7

我正在尝试确定Clojure和F#用于创建DSL的设施。每个语言都提供了哪些设施来创建和操作DSL？

由于F#是静态类型的，这会使得这个特定任务更加困难吗？在Clojure方面，我没有真正的经验，但所有LISP都以元编程/DSL而闻名。

我的问题并不是为了在两种语言之间进行战争或类似的事情。如果我最近对两者进行了提问，那是因为我确实认为两者都很棒，并想更多地了解两者的具体情况。

在阅读了几天关于意图编程的内容后，它让我重新激起了对DSL和其他一切的兴趣。

虽然我对F#有一些了解，但我还没有使用引用或类似东西开发过任何东西。我看到了基于辨别联合的DSL示例，这似乎很有趣。

- Jacobo Polavieja

这是一个开放性且相当主观的问题。请阅读常见问题解答。 - Onorio Catenacci

2个回答

4

我不能谈论Clojure，因为我没有使用过它，但是我了解一些关于F#中DSL的东西。F#提供了两个主要的语言编程特性（Don Syme喜欢称之为）：代码引用和计算表达式。

代码引用更接近于Lisp等语言中的宏。它们允许您以程序方式生成表达式，然后执行这些表达式。通过在F#表达式上使用ReflectedDefinition属性，您可以访问它们的ASTs。有关详细信息，请参见http://msdn.microsoft.com/en-us/library/dd233212.aspx。

计算表达式类似于Haskell中的do符号。编译器使用特殊语法重写代码，使其成为对您定义的类型的调用。这种类型应该理想地形成一个单子。由于它们是伪装的monad，因此它们应该允许您实现DSL的自定义语义。有关详细信息，请参见http://msdn.microsoft.com/en-us/library/dd233182.aspx。

在我看来，计算表达式更适合在F#之上编写DSL，而代码引用更适合像转换或翻译（例如F#到JavaScript）这样的任务。

除了这两个主要特性，您还可以使用语言的其余部分。

当然，上面我只谈到了嵌入式特定领域语言。您可以更进一步，使用fslex和fsyacc来创建一个独立的DSL。

- Alex

感谢您对这两种技术的评论和见解。似乎在任何F#或Clojure擅长的领域，您都会发现另一种语言同样擅长。关于嵌入式或外部DSL的好处，您提出了一个很好的观点，这是我忘记提到的。通过研究每种语言的特点和处理事情的方式，我确实学到了很多。再次感谢！ - Jacobo Polavieja

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- mikera · Accepted Answer

您可以使用任何语言最终创建DSL。

Clojure /其他Lisps的独特之处在于它们是homoiconic，这使得它们非常适合元编程 - 也就是说，该语言本身自然地表达为相同语言的数据结构。在Lisp中，您实际上是将代码直接编写为一个AST。

这是非常强大的 - 这意味着代码生成等效于创建一个相对简单的数据结构。而且，该语言提供了利用宏在编译时生成任意代码的功能。这有效地允许您“扩展语言”以支持您需要的任何特定DSL。

例如，我最近发现自己想要Clojure中的命令式for循环（向函数式编程纯粹主义者道歉，但有时确实需要）。将其添加到语言中只需五行代码：

(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程序员 - 优秀的视频，描述了Clojure的一些独特功能（并与Java进行了一些有趣的比较） - Paul Graham - 打败平均值 - Lisp宏的特殊之处