这两个F＃序列有什么区别？

Question

> seq { for i in 0..3 do yield float i };;
val it : seq<float> = seq [0.0; 1.0; 2.0; 3.0]
> seq [ for i in 0..3 do yield float i ];;
val it : seq<float> = [0.0; 1.0; 2.0; 3.0]

P.S。为什么F＃最初期望没有“seq”的序列。前缀，但现在他们想要前缀？

Answer 1

对您发布的两种表格进行更多说明：

第一个使用直接序列理解，“seq {...}”。 “seq”是指“seq”。 part之前是可选的，但将来不会支持。我猜它会像“async {...}”这样的东西。并且工作流语法更难或者其他。

现在，第二个是纯粹的列表：

> let x = [ for i in 0..3 do yield float i ];;

val x : float list

＆QUOT; SEQ＆QUOT;也是一个功能：

> seq;;
val it : (seq<'a> -> seq<'a>) = <fun:clo@0_1>

因为任何列表也是一个序列，所以做“seq [1; 2; 3;]”只是将seq函数应用于列表。它有点像从列表类型中将它转换为seq。

> x;;
val it : float list = [0.0; 1.0; 2.0; 3.0]

> seq x;;
val it : seq<float> = [0.0; 1.0; 2.0; 3.0]

编辑：seq函数的来源是：

let seq (x : seq<_>) = (x :> seq<_>)

所以，“有点像投射它”应该读作“通过辅助功能施放它”。至于在括号内打印序列，我认为这只是一个漂亮的打印工件。

Answer 2

第一个是seq（IEnumerable）。

第二个很奇怪;摆脱'seq'，这是一个列表理解（列表）。没有理由按原样写出来;使用seq {}或[]或[| |]制作seq或列表或数组。

curise-not-prefixed-by-seq是一个不推荐使用的表单，因为它使该语言的其他部分可能不明确。