MapTo for SqlProvider：没有编译检查类型不匹配

Question

我尝试使用SQL类型提供程序，并且我遵循guidelines中建议的方法。

编译与运行时错误

我注意到.MapTo<'T>便捷方法正在引入运行时类型转换异常，而不是预计编译时的类型检查。

我们说我们有一个通用的

let sel = r.MapTo<Selection>()

并通过属性赋值

将上述内容与更简单但更长的属性进行比较

sel.PacketNum <- r.PacketNum

在后一种情况下，我得到一个更安全，更有帮助的编译错误，例如：

  

错误FS0001：此表达式应为int类型，但此处的类型为int64

我是否在编译与运行时遗漏了.MapTo<'T>行为？这是由设计完成的吗？

Fluent映射和数据库类型分配

我也想知道是否有可能（其他框架提供此类功能）

• 使用属性属性或类似属性设置映射（如果列名为packets而不是packet_num，该怎么办？）
• 在.Net类型和数据库类型（INTEGER到int而不是INT到int）之间设置不同的对应关系？

或为什么不需要