从我到目前为止读到的有关类型提供程序的信息来看,我想知道它们是否可以用于为F#实现一个好的ORM.

我想数据库行可以由具有正确类型属性的对象表示,允许对列值进行类型安全的读写访问,类型提供程序实现在编译时自动检查当前数据库模式.

这是一个现实和有用的场景吗？

最佳答案 是的,这是类型提供者的有趣用法.其中一个例子就是这样,见
http://msdn.microsoft.com/en-us/library/hh361033(v=vs.110).aspx