F＃从查询表达式返回值

Question

我刚刚开始学习F＃，并为类型推断打动了我以为我会尝试从表中获取第一条记录的函数（使用查询表达式，Linq样式）：

let getfirst data = 
    let result = query { for n in data do take 1 }
    result |> Seq.head

这有效，类型是IQueryable<'a> -> 'a 。

但是，为什么这个版本不起作用？

let getfirst2 data = 
    query { for n in data do head }

难道不应该像上次那样for n in data do head给出标量'a吗？ 有人可以解释为什么第二个版本不起作用以及如何在不使用Seq.head的情况下使其起作用吗？

Answer 1

我不知道为什么，但是当您将鼠标悬停在getfirst2的data参数上时，您会看到它的类型为System.Linq.IQueryable<Linq.QuerySource<'a, System.Linq.IQueryable>> ，而实际上它应该是System.Linq.IQueryable<'a>

您可以通过添加类型注释来“修复”它：

open System.Linq
let getfirst2 (data : IQueryable<'a>) : 'a = query { 
    for item in data do
    head
}

然后，它会像您期望的那样工作：

[1 .. 10]
|> System.Linq.Queryable.AsQueryable
|> getfirst2
|> printfn "%d" // Prints 1.

也许其他人可以阐明编译器为何推断其类型。

Answer 2

原因是查询构建器具有用于运行查询的有点笨拙的重载Run方法，具有以下重载：

QueryBuilder.Run : Quotations.Expr<'t> -> 't
QueryBuilder.Run : Quotations.Expr<Linq.QuerySource<'t, IEnumerable>> -> seq<'t>
QueryBuilder.Run : Quotations.Expr<Linq.QuerySource<'t, IQueryable>> -> IQueryable<'t>

在您的情况下，给定适当的data类型，任何重载都可能适用（尽管QuerySource<_,_>是用户代码从未使用过的类型，因此，两个重载是不太可能的） 。 不幸的是，由于定义了这些重载的奇怪方式（第一个和第二个实际上是在单独的模块中定义的扩展方法），第三个赢得了重载解决方案之战。