f# - 为什么 [2..3..10] 会被解释为 [2;5;8]

Question

当我声明以下列表时

let list = [2..3..10]

F# interactive 会将其解释为包含 [2; 5; 8]。控制台输出将是:

let list = [2..3..10]
;;

val list : int list = [2; 5; 8]

背后的数学原理是什么？我看不出输入与输出有何关系。

Answer 1

来自 The F# Language Specification :

Range expressions involving expr1 .. expr2 are translated to uses of the (..) operator, and those involving expr1 .. expr1 .. expr3 are translated to uses of the (.. ..) operator. The (.. ..) operator generates an IEnumerable<_> for the range of values between the start (expr1) and finish (expr3) values, using an increment of expr2.

或者只是:

[开始..步骤..停止]