这个 List 表达式有什么问题？

Question

我有一个递归函数，可以像这样创建一棵树：

let rec evaluate node = 
    let neighbors = getNeighbors node
    let visited = [for x, y in neighbors do
                       if not tiles.[y].[x] then
                           tiles.[y].[x] <- true
                           evaluate (x, y)]
    if List.length visited > 0 then 
        Node(x, y, visited) 
    else 
        Leaf(x, y)

Node 和 Leaf 来自这个定义：

type Tree =
    | Leaf of int * int
    | Node of int * int * Tree list

而tiles 是一个二维布尔数组，表示已访问了哪些图块（我正在实现迷宫生成）。

现在上面的函数不能编译。推断的类型是int*int -> unit，应该是int*int -> Tree。

我试图强制返回类型为Tree，但随后编译器抱怨调用评估的类型应为unit，但类型为Tree。

我找到了一种使用序列表达式并转换为列表的解决方法：

let visited = Seq.toList (seq { 
                for x, y in neighbors do
                    if not tiles.[y].[x] then
                        tiles.[y].[x] <- true
                        yield evaluate (x, y)})

但我不明白为什么使用列表表达式不起作用。

Answer 1

我只是缺少了一个 yield 关键字：

let visited = [for x, y in neighbors do
                   if not tiles.[y].[x] then
                       tiles.[y].[x] <- true
                       yield evaluate (x, y)]

这会编译并且不需要强制返回类型。

Answer 2

对于列表表达式，您需要将do 替换为-> - 请参阅此处http://msdn.microsoft.com/en-us/library/dd233224.aspx

此外，在这种情况下，右侧必须具有一致的类型。我会把它改成

[for x, y in (neighbors |> List.filter (fun (x2,y2) -> not tiles.[y2].[x2])) -> ...