CustomOperationAttribute与CE Yield成员的关系及DSL扩展疑问

问题背景 #

受Bolero的ElementBuilder启发，尝试扩展HTML-DSL以复用表达式，编写了如下代码：

open Bolero
open Bolero.Builders
open Bolero.Html

type ElementBuilder with
    [<CustomOperation "bulmaStuff">]
    member this.BulmaStuff(n: Node) =
        div {
            attr.``class`` ["custom"]
            n
        }

尝试使用时的代码：

section {
    bulmaStuff span { text "wrap me" }
}

编译报错信息：

Error: input.fsx (2,5)-(2,15) typecheck error 'bulmaStuff' is used with an incorrect number of arguments. This is a custom operation in this query or computation expression. Expected 0 argument(s), but given 2.
input.fsx (2,5)-(2,39) typecheck error No overloads match for method 'Yield'.

核心疑问解答 #

1. CustomOperationAttribute 与计算表达式（CE）的 Yield 成员的关系 #

计算表达式（CE）的核心是通过状态流转构建最终值，Yield 成员的作用是将普通类型的值“注入”到CE的状态容器中，让CE能够处理该值。

CustomOperationAttribute 标记的方法，是用来定义CE内的自定义操作，这些操作通常是修改CE的内部状态（比如Bolero里给元素加属性、添子节点），而非直接返回最终结果。当你在CE里调用自定义操作时，若操作需要接收外部值，这个值必须能被Yield转换成CE可处理的类型，否则就会出现找不到Yield重载的错误。

回到你的代码：你定义的bulmaStuff直接返回了一个Node类型的结果，但Bolero的ElementBuilder的CE上下文是用来构建当前元素的状态（比如给<section>加子节点），你的自定义操作没有修改这个状态，而是返回了一个独立的Node，编译器找不到对应的Yield来把这个返回值整合到<section>的构建状态里，因此报错。

2. 关于扩展ElementBuilder的方式选择 #

你当前的用法不符合Bolero ElementBuilder的设计意图，不应该这么用CustomOperation：

• Bolero的ElementBuilder是为单个HTML元素的构建服务的，它的自定义操作都是用来给当前元素添加属性、事件、子节点等，而非生成新的独立元素。
• 如果你想实现“把一个节点包装到带自定义类的div中”这种复用逻辑，直接写一个普通函数更简单：

  let bulmaStuff (n: Node) =
      div {
          attr.``class`` ["custom"]
          n
      }
  

  使用时直接调用：

  section {
      bulmaStuff (span { text "wrap me" })
  }
  

如果确实需要用计算表达式来组合节点，建议单独实现基于Node的CE，而非扩展Bolero的ElementBuilder。因为ElementBuilder的复杂度在于处理单个元素的各种属性和子节点管理，而你需要的是节点组合逻辑，两者设计目标不同，强行扩展只会增加不必要的复杂度。

内容的提问来源于stack exchange，提问作者rasx