C# DSL 语法的想法

Question

我正在考虑仅使用具有静态类型优势的纯 C#/.NET 4 语法来实现模板引擎。

然后，在该模板语言之上，我们可以创建领域特定语言（例如 HTML4、XHTML、HTML5、RSS、Atom、多部分电子邮件等）。

.NET 4 中最好的 DSL 之一（如果不是唯一一个）是 SharpDOM。它实现了 HTML 特定的 DSL。

看着 SharpDOM，我对使用 .NET 所做的事情印象深刻 (4)。

因此，我相信在 .NET 4 中存在一些不太为人所知的方法来实现自定义 DSL。可能不如 Ruby，但仍然如此。

所以我的问题是：可用于实现自定义 DSL 的 C# (4) 特定语法功能是什么？

我现在能想到的示例：

// HTML - doesn't look tooo readable :)
div(clas: "head",
  ul(clas: "menu", id: "main-menu", () => {
    foreach(var item in allItems) {
      li(item.Name)
    }
  }) // See how much noise it has with all the closing brackets?
)

// Plain text (Email or something) - probably too simple
Line("Dear {0}", user.Name);
Line("You have been kicked off from this site");

对我来说，这真的很难想出噪音最少的语法。

请注意，我不是在谈论另一种语言（Boo、IronRuby 等），也不是在谈论不同的模板引擎（NHaml、Spark、StringTemplate 等）。

Answer 1

您是否了解T4 模板？虽然它不允许您创建 DSL，但一旦您有了可以使用的模型，它对于生成代码或其他基于文本的工件来说肯定是很好的。例如，TextTemplate1.tt：

<#@ template debug="false" hostspecific="false" language="C#" #>
<#@ output extension=".thml" #>
<#@ import namespace="System.Collections.Generic" #>

<div class="head">
    <ul class="menu" id="main-menu">
<#
foreach (var item in allItems)
{
#>
        <li><#= item.Name #></li>
<#
}
#>
    </ul>
</div>
<#+
public class DummyItem
{
    public string Name {get;set;}
}

public List<DummyItem> allItems = new List<DummyItem>
                                  {
                                      new DummyItem {Name="Name1"},
                                      new DummyItem {Name="Name2"},
                                  };
#>

这很快就产生了：

<div class="head">
    <ul class="menu" id="main-menu">
        <li>Name1</li>
        <li>Name2</li>
    </ul>
</div>

显然，您必须通过创建虚拟类以外的其他方式将模型放入系统！

Answer 2

我猜你很熟悉 Martin Fowlers DSL 这本书，但如果不熟悉，一定要看看它。它不包含任何特定于 C# 4.0 的内容，但具有一些可供您使用的内部 DSL 的通用模式。另请参阅 C# 中的泛型类型和类型推断如何工作，LINQ 可能是使用高级语言功能来实现 DSL 的一个很好的示例。 LINQ 中还应该有一些 AST 操作，您可能也会对此感兴趣。