F# 类型提供程序用例

我很难掌握类型提供者。我想获得一些关于类型提供程序方法对于以下用例的有用性的反馈。

非常不幸的是，我们的遥测 API 返回对象为List<Dictionary<string, object>>. Dictionary具有键字符串（表示列名称），值可以是任何对象（不过，通常这是系统命名空间中的某种值类型）。另外，还有一个方法可以返回Dictionary<string, Type>表示架构的集合（列名称 -> 类型绑定）。我们通常使用这些数据进行临时/探索性分析和报告。

带有 R 类型提供程序的 F# 似乎是上述分析的有力武器。仅通过将列名称键入为字符串并转换对象来访问数据确实很麻烦。我想创建一个类型提供程序，它将从给定的字典（创建字典的连接字符串）创建强类型。 例如。从

new List<Dictionary<string, object>> 
{ 
    new Dictionary<string, object> { {"a", 1}, {"b","data"}, {"c", DateTime.UtcNow } },
    new Dictionary<string, object> { {"a", 3}, {"b","data2"}, {"c", DateTime.UtcNow } }
}

我想得到

type MyObject
    member a : int
    member b : string
    member c : DateTime

List<MyObject> ...

这是类型提供者的正确使用吗？正如我所说，我对这个领域还很陌生，因此我们将不胜感激。此外，如果您有任何类似问题的示例，我可以使用它来快速入门，请分享（Csv 类型提供程序似乎是一个很好的起点）。

如果对遥测 API 的类型化访问有用，有 2 种简单的方法：

1. 代码生成
2. 类型提供者

在以下情况下，类型提供程序特别合适：

• 数据经常变化
• 遥测数据量大

使用类型提供程序，可以按特定的时间间隔检查 API，例如每次编译应用程序时。类型提供程序可以是惰性的，以便只为所使用的数据生成代码，因此如果数据很大，它也将是一个更合适的选择。

Michael Newton 对编写类型提供程序有一个很好的介绍：从头开始类型提供者 http://blog.mavnn.co.uk/type-providers-from-the-ground-up/