避免在Elmish中嵌套样板？

Question

假设我嵌套了Elmish组件，如下所示：A包含B包含C。

然后，如果C具有状态和消息，则必须将它们从C传递到B，然后传递到A。

例如，B的消息和模型类型可能是：

type Message = 
  | CMessage of C.Message
  | UpdateFoo of string

type Model = 
  {
    Foo : string
    C : C.Model
  }

然后B的update将执行一些路由：

let update message model = 
  match message with
  | CMessage m -> 
    {
      model with
        C = C.update m model.C 
    }
  | UpdateFoo foo -> { model with Foo = foo }

然后，必须对使用B消息的A执行相同的操作。

例如，与setState相比，这是相当冗长的。

在Elmish中有什么策略来管理这一点？

Answer 1

如果创建模型类型的层次结构，则需要在update中通过该层次结构路由消息。如果您不想通过update中层次结构路由消息，那么就不要创建模型类型的层次结构。这意味着你有一个平面模型。

然而，我认为拥有一个扁平的模型是不可持续的。随着应用程序复杂性的增长，您需要通过将相关概念分组到包含其自身模型类型的(子)模块中来管理这种复杂性。

例如，与setState相比，

这是相当冗长的。在Elmish中有什么策略来管理这一点？

函数setState为meant for library authors。您的问题是关于特定的模型和消息类型，所以我的印象是您是Elmish的“最终用户”(而不是库作者)。因此，我认为将您的示例update函数与一些使用setState的替代函数进行比较是不公平的，因为您应该使用setState。

我认为你描述的这种冗长是严格控制突变的权衡。通过使用Elmish，您说您希望严格控制突变(通过让几乎所有的突变发生在Elmish中，而不是您的代码)，所以我认为这种冗长是必要的。