很快我和我的战友Joel将发布WingBeats的0.9版本.它是用F#编写的内部DSL。使用它您可以生成XHTML。灵感来源之一是XHTML.MOcsigen框架的模块。我不习惯OCaml语法，但我确实理解XHTML.M以某种方式静态检查元素的属性和子元素是否属于有效类型。我们无法在F#中静态检查相同的内容，现在我想知道是否有人知道如何做到这一点？我第一个幼稚的方法是将XHTML中的每个元素类型表示为一个并集。但不幸的是，您不能像在XHTML.M中那样静态地限制哪些情况可以作为参数值有效。然后我尝试使用接口(interface)(每个元素类型为每个有效父元素实现一个接口(interf
