类型提供程序是否存在于除 F# 之外的其他语言中？

Question

我已经坚持了几天了...对不起这样的问题，但我只是 F# 本身的初学者。由于有很多关于类型提供程序的讨论，我决定构建一个并写一篇关于它的论文。当我开始时，我不知道提供者是什么类型。现在我有了一些想法，并且我已经构建了一个简单的 CSV 类型提供程序，但是我在评估中缺乏关于用其他语言制作这样的东西需要多少时间和工作的论据。到目前为止，我还没有找到任何线索，只是类型提供程序是 F# 3.0 中的一个特性。谁能帮帮我好吗？

Answer 1

据我所知，唯一直接实现类型提供程序的其他语言是 Idris。请参阅Idris documentation on type providers。有一些例子，包括SQL type provider in David Christiansen's GitHub repo。作为一种依赖类型的语言，类型提供程序的外观与 F# 中的完全不同——它们基本上是使用 %provide 命令调用的 IO monad 中的计算——因此它们与语言的其余部分相比更加统一F# 设计。

还有其他与类型提供程序相关的语言功能。

• 这包括各种模板系统（例如用于 OCaml 的 Template Haskell 和 camplp4）。这些缺少一些类型提供程序功能（它们实际上生成代码，因此您无法提供“无限大小”类型，并且它们没有与工具集成）。

• 有很多针对 Java 和 C# 等语言的代码生成工具（LINQ to SQL 使用代码生成，各种 UI 框架也这样做），但同样缺乏语言集成，只能支持以下类型相对较小。

• 另一个相关的事情是元编程，例如multi-stage programming，但据我所知，这主要是学术性的，没有可靠的语言来实现它。

很难说其中哪些与类型提供者很接近。对我来说，类型提供程序的基本特性是我作为开发人员在使用它们时得到的快速反馈（对于某些人来说，这意味着在开发过程中即时更新模式）——而这是代码生成工具通常不会做的事情。另一个 - 能够懒惰地提供无限数量的类型对某些类型提供者很有用，但并非对所有类型提供者都有用 - 例如JSON、XML 或 CSV 可以由代码生成工具合理处理。