这两个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]

PS为什么F#最初期望没有"seq"前缀的序列,但现在他们想要前缀？

Answer 1

您发布的两种表格的更多说明:

第一个使用直接序列理解,"seq {...}".之前的"seq"部分是可选的,但将来不会支持.我想它会使"async {...}"和工作流语法变得更加困难.

现在,第二个是纯列表:

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

val x : float list

"seq"也是一个功能:

> 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<_>)

所以,"sorta喜欢投射它"应该是"通过帮助函数投射它".至于在括号内打印序列,我认为这只是一个漂亮的印刷工件.