f# - 在序列计算表达式中的 for 循环中产生

Question

为什么这些工作

let x = seq { for i in 1 .. 10 do yield i }
let x = seq { for i in 1 .. 10 -> i }
let x = seq { for i = 1 to 10 do yield i }

但这个没有？

let x = seq { for i = 1 to 10 -> i }

Answer 1

根据 the F# specification , 序列表达式可以是普通的计算表达式(这是您编写 do yield 的情况)，也可以是特定于序列表达式的简短形式:

seq { comp-expr }
seq { short-comp-expr }

comp-expr case 涵盖了您的第一个和最后一个工作示例。简短形式使用 ->并且规范明确指出唯一允许的缩写形式是 in关键词:

short-comp-expr :=
   for pat in expr-or-range-expr -> expr        -- yield result

还有许多其他简短的形式在实践中很有用，但我想目的是为这个非常频繁的案例提供一种特殊的语法，否则保持语言统一。