这两个F#序列有什么区别?

时间:2009-03-05 22:34:04

标签: syntax f#

> 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”前缀的序列,但现在他们想要前缀?

2 个答案:

答案 0 :(得分:5)

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

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

现在,第二个是纯粹的列表:

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

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

答案 1 :(得分:3)

第一个是seq(IEnumerable)。

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

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