.net - .NET 中 DSL(工具)的经验

Question

我正在寻找一个好的 DSL 工具/框架，满足以下标准:

• 可以与 C# 中的/一起使用
• 在 Windows Azure 上运行 - 编译器可以在任何地方生成，但实际解析发生在云端
• 尽可能快速且高效地利用资源

我希望用户能够指定然后由程序解释的规则。DSL 基本上是任何脚本语言的子集 - 数学运算、if 语句、字符串操作等 - 与域对象一起使用(例如 if (SomeComponent.Child3.SomeProperty > 3) SomethingElse.Color = Color(50 ,0,0))。
由于创建规则的是用户，我认为使用像 IronPhyton 这样的真正脚本语言(闻起来像 SqlInjection，但更糟)是一个坏主意 - 而且，我不希望用户实际编程，所以语法应该是尽可能简单易懂，这就是 DSL。

到目前为止我偶然发现的工具是:

• FsLex / FsYacc 。我没有 F# 经验，但据我所知，我可以将其集成到 C# 解决方案中，所以这听起来相当不错。
• Visualization and Modeling SDK - Domain-Specific Languages 。不确定这个 - 似乎与上面的相同 + UI 设计，我不需要/想要。

...加上我在 SO 上读过的更多内容，但尚未详细查看(例如 Oslo/MGrammar、Boo、Antlr...)

我到底想问什么？
1. 我应该详细了解哪些在 C#(或 .NET)中创建 DSL 的工具，您建议我应该使用哪些工具？
2. 您有哪些 DSL 的使用经验，您的看法是什么？某种技术是否繁琐、缓慢、过时、即将被取代/取消？请告诉我。

Answer 1

你似乎做了很多研究，我明白你所说的 M 语言看起来将被丢弃的意思。然而，我不认为它会真正消失，因为它似乎已经被 sqlserver 团队吞并了。 (最近谁推出了我认为是 .net 最有趣的开发 -> Reactive Extensions、IQbservable、Linq to Anything)

我会观看:http://channel9.msdn.com/Blogs/Charles/Jeffrey-Snover-Martin-Fowler-and-Neil-Ford-Domain-Specific-Languages并快速读取 http://blogs.msdn.com/b/powershell/archive/2008/10/09/domain-specific-languages-dsls-in-general-and-how-powershell-relates.aspx

这里有一些背景知识，Jeffry Snover 是 Powershell 的创建者，这使他获得了 Window Server 主管的晋升。 Snover、Eini 和 Fowler 都同意，编写外部 DSL 比编写内部 DSL 需要花费更多的精力。还有一种观点认为，外部 DSL 本质上是没有出路的技能。这是因为它们仅适用于他们的区域。框架也是如此。它往往是具有外在值(value)的外部语言。

此外，这是 DSL 语法和 DSL 词汇之间的区别。通过编写外部 DSL，您实际上是在编写两个方面，而如果您将 DSL 嵌入到另一种语言中，则只需要指定 DSL 词汇表。

因此，Powershell 非常适合 DSL，因为它将闭包作为第一类对象(脚本 block )来处理。它的 future 也是有保证的，因为它存在于所有版本的 Windows 中。在应用程序中托管 powershell 只需要几个引用和几行代码，并且它可以完全访问 .net 类型系统。在 powershell 中编写 DSL 的实际行为是微不足道的。

Douglas Finke MVP，是有关 DSL 和 Powershell 的优秀资源

较旧的 DSL 帖子: http://www.dougfinke.com/blog/index.php/2009/07/01/powershell-powerboots-and-an-oslo-dsl-grammar/这个例子说明了创建像样的 DSL 是多么简单。 http://www.dougfinke.com/blog/index.php/2009/03/18/powershell-dsl-for-deploying-biztalk-applications/

http://www.dougfinke.com/blog/index.php/2008/03/24/fluent-interfaces-dsl-and-language-oriented-programming/

如果您是 powershell 新手，那么他在这里提供了快速入门指南: http://www.dougfinke.com/blog/index.php/2011/01/10/how-to-practice-powershell/虽然我建议将“Powershell in Action, 2nd Edition”作为完整的引用，但其中有一个专门用于在 powershell 中编写 DSL 的部分(它是由 Snover 在 powershell 团队中的得力助手编写的)。

您似乎确实在描述编写完整的外部 DSL:本质上是一种语言。您可能想看一下有点冗长的 CodeDom，以及 DLR (http://dlr.codeplex.com)

要了解许多此类内容的基础背景，强烈建议您开始研究实现延续以及 LISP/Scheme 中首创的其他技术。尊者 SICP http://mitpress.mit.edu/sicp/ 和 http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ 和 http://www.ccs.neu.edu/home/matthias/HtDP2e/index.html碰巧，LISP/Scheme 是编写 DSL 和其他语言的完美语言，如果您还没有，仅仅学习它们，将在您现在正在寻找的领域改进您的编程。

您还提到您想做一些 azure 的云工作。作为旁白，但内容非常丰富的背景文章，我建议您观看 Bart De Smet 的描述，了解微软如何扩展其“可枚举生态系统”以适应可扩展和分布式系统。 http://community.bartdesmet.net/blogs/bart/archive/2008/10/20/linq-to-anything-channel-9-interview-and-a-few-more-thoughts.aspx

如果您打算进行 powershell 的任何开发，Bart 的博客有一些关于此主题的开创性文章(带有完整且清晰的代码示例)，包括如何使用它们并在其上放置 MMC 3 界面。

无论您最终选择什么，从痛苦的个人经验来看:编写内部 DSL，它们更快、更容易、花费更少、学习曲线更低，您不会在 CV 需要的领域降低技能。正如您所知，出于所有上述原因，我推荐 Powershell，此外还可以访问您需要的所有 .Net/COM/WMI/Webservice 资源。而且它的 future 是有保证的。

无论如何，我希望这会有所帮助，祝你好运。