静态类型的上下文

Question

我正在寻找编码（在某些 .NET 语言中——fsharp 似乎最有可能支持）形成当前上下文的一类类型。

规则是我们从 'a 类型的初始上下文开始。随着计算的进行，上下文将被添加到其中，但我总是可以得到以前的值。因此，假设一个将信息添加到上下文中的操作，'a -> 'b，推断出 'a 的所有元素也在 'b 中。

这个想法类似于不可变地图，但我希望它是静态类型的。这可行吗？如何，或者为什么不？ TIA。

更新：答案似乎是您目前无法完全做到这一点，尽管我有一些很好的建议可以用不同的方式对我正在寻找的东西进行建模。感谢所有试图帮助解决我措辞不当的问题的人。

Answer 1

F# 中的单独记录类型是不同的，即使表面上它们具有相似的结构。即使记录'a的字段形成记录'c的字段的子集，也无法静态地强制执行这种关系。如果您有正当理由在那里使用不同的记录类型，那么您可以做的最好的事情是使用反射来使用 FSharpType.GetRecordFields 获取字段，并检查一个是否构成另一个的子集。

此外，为添加的每条数据引入新的记录类型会导致大量样板文件。

我看到了两种建模方法，它们在 F# 中感觉更合适，并且仍然允许您以某种方式在运行时强制执行某种形式的 'a :> 'c 约束。

1) 如果您预见到少量记录，所有这些记录都对您程序的其他部分有用，您可以使用有区别的联合来枚举您的流程的步骤：

type NameAndAmountAndFooDU = 
    | Initial of Name
    | Intermediate of NameAndAmount
    | Final of NameAndAmountAndFoo

这样，以前不相关的类型 'a 和 'c 的记录将成为单一类型的一部分。这意味着您可以将它们存储在 Context 内的列表中，并轻松地及时返回以查看更改是否朝着正确的方向发展（初始 -> 中间 -> 最终）。

2) 如果您预见到“添加”单个字段等大量更改，并且您更关心最终产品而不是中间产品，您可以根据最终记录定义选项字段记录：

type NameAndAmountAndFooOption =
    {
        Name: string option
        Amount: decimal option
        Foo: bool option
    }

并有办法将其转换为非选项 NameAndAmountAndFoo （或中间的 NameAndAmount 如果您出于某种原因需要它们）。然后在 Context 中，您可以一次设置单个字段的值，然后再次收集以前的记录以跟踪更改是如何应用的。

Answer 2

这样的？

type Property = 
    | Name of string
    | Amount of float

let context = Map.empty<string,Property>

//Parse or whatever
let context = Map.add "Name" (Name("bob")) context
let context = Map.add "Amount" (Amount(3.14)) context

我有一种感觉，如果你能向我们展示更多你的问题空间，可能会有一个更惯用的整体解决方案。