在序列计算表达式中产生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

根据F#规范,序列表达式可以是正常计算表达式(这是您编写的情况do yield),也可以是特定于序列表达式的简短形式:

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

该comp-expr案件涉及您的第一个和最后的工作的例子.简短形式使用->和规范明确说明唯一允许的简短形式是in关键字:

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

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