F#3.0类型的科学提供者

F#3.0类型的科学提供者,f#,computer-science,type-providers,F#,Computer Science,Type Providers,似乎F#类型提供程序是F#3.0的主要功能。我的问题很简单,我应该用它做什么?我以科学为导向(工程学)。到目前为止,我看到的唯一的例子都与web相关——这是这个功能的唯一真正用途吗 编辑: 这里很好地介绍了类型提供程序,以及关于何时使用和何时不使用它们的信息 下面是一个关于如何实现向量类型的非常好的示例: Don为此做的最初演示始终使用化学元素的类型提供程序…但它只是从web检索数据,对吗?我认为我永远不需要从网络上检索数据。这就是为什么我问除此之外是否还有其他用途。这不仅仅是网络。例如,您可以

似乎F#类型提供程序是F#3.0的主要功能。我的问题很简单,我应该用它做什么?我以科学为导向(工程学)。到目前为止,我看到的唯一的例子都与web相关——这是这个功能的唯一真正用途吗

编辑:

  • 这里很好地介绍了类型提供程序,以及关于何时使用和何时不使用它们的信息

  • 下面是一个关于如何实现向量类型的非常好的示例:


  • Don为此做的最初演示始终使用化学元素的类型提供程序…但它只是从web检索数据,对吗?我认为我永远不需要从网络上检索数据。这就是为什么我问除此之外是否还有其他用途。这不仅仅是网络。例如,您可以在编译时使用它为某些SQL数据库生成实体。我也不需要它。还有其他用途吗?遗憾的是,这几乎是我喜欢的语言中唯一的新特性,我不知道在哪里可以使用它……免责声明:我没有使用它/只看到了演示文稿,但从我所看到的情况来看,类型提供程序允许您连接到编译器/IDE并动态生成类型。是否使用“?”运算符进行动态属性访问?您可能会将代码移入编译时,并进行IDE完成/编译器类型检查。