以编程方式构造计算表达式

Question

我想从提供的数据结构中创建一个等效于query { ... } 计算表达式的方法（将FSharp.Data.TypeProviders 与LINQ2SQL 或LINQ2Entities 一起使用），即：

Collection("customers", [ 
    Field "customerId"; 
    Collection("orders", [ 
        Field "orderId" ]) ])

为此，我首先需要了解查询是如何转换为代码的。以以下查询为例：

query {
    for c in db.Customers do
    select (c.CustomerID, query {
        for o in c.Orders do
        select o.OrderID
    } |> Seq.toList)
} 

没有计算表达式语法会是什么样子？

Answer 1

我不建议以编程方式生成 F# 查询。

查询的主要目的是使编写漂亮的 F# 源代码成为可能。当它们被执行时，您编写的代码首先被转换为 LINQ 样式的表达式树，然后被转换为 SQL 查询。如果您设法将您的查询规范转换为 F# 查询，您会得到类似的结果：

 +------------+    +----------+    +----------------------+    +-----+
 | Your query | -> | F# query | -> | LINQ expression tree | -> | SQL |
 +------------+    +----------+    +----------------------+    +-----+

多次转换并没有错，但是有很多事情使通过 F# 查询的路径变得更加复杂：

• 在您的查询格式中，事物似乎被表示为字符串。因此，您需要从字符串转到 .NET MethodInfo 才能返回字符串。

1234563使用反射或类似的东西来访问它们。

TL;DR - 我认为直接获取查询表示并直接生成 SQL 会容易得多。转换的结构类似于生成 F# 查询，但您不必乱用引号和反射。

Answer 2

如果您想了解某物如何脱糖，只需将其放入报价单中即可。如果您使用示例执行此操作，您会看到

<@ 
    query {
        for c in db.Customers do
        select (c.CustomerID, query {
            for o in c.Orders do
            select o.OrderID
        } |> Seq.toList)
    } 
@>

大致相当于

query.Run 
    <@ query.Select(query.For(query.Source db.Customers, 
                              fun c -> query.Yield c), 
                    fun c -> 
                        c.CustomerID, 
                        query.Run <@ 
                                    query.Select(query.For(query.Source c.Orders, 
                                                           fun o -> query.Yield o), 
                                                 fun o -> o.OrderID) @> 
                             |> Seq.toList) @>

（我已经清理了一些无关变量）。我同意 Tomas 的观点，可能有比尝试直接创建这样的表达式更好的方法来实现您想要的。