f# - F# 类型提供程序与传统的 'type providers' 相比有什么优势？

Question

来自 MSDN page on F# Type Providers :

An F# type provider is a component that provides types, properties, and methods for use in your program.

所以它就像一个 .NET 类库？有什么不同？和:

Writing these types manually is very time-consuming and difficult to maintain.

类型提供程序会自动编写自己吗？还有更多:

Similarly, a type provider for WSDL web services will provide the types, properties, and methods you need to work directly with any WSDL web service.

有用于从 WSDL URL 生成类型的实用程序，这里类型提供程序提供的优势是什么？

我的第一个想法是 F# 类型提供程序在运行时提供类型，如 .NET 远程处理，但似乎并非如此。使用它们有什么好处？

Answer 1

在许多方面，代码生成是类型提供者的自然比较。但是，类型提供程序具有代码生成所缺乏的几个理想属性:

类型提供程序可以在 F# 脚本中使用，而无需进行上下文切换。使用代码生成器，您必须调用生成器，引用代码等。使用类型提供程序，您引用类型提供程序程序集(就像引用任何其他 F#/.NET 程序集一样)，然后使用提供的类型马上。这真的是交互式脚本的游戏规则改变者。

正如 Gustavo 提到的，删除类型允许类型提供者处理传统代码生成会生成太多代码的情况(例如，Freebase 有数千种类型，这对类型提供者来说没有问题)。

类型提供程序可以支持失效，因此如果数据源发生更改，编译器将立即重新检查文件。

同样，使用代码生成器，生成的代码可能与数据源不同步；类型提供程序可以防止此问题发生，每次编译程序时检查数据源(尽管许多类型提供程序还提供使用缓存模式的选项以方便使用)。

类型提供程序可以说更容易实现，尽管这可能取决于场景和作者的背景。