ループ: for...to 式Loops: for...to Expression

for...to 式は、ループ内でループ変数の値の範囲を反復処理するために使用されます。The for...to expression is used to iterate in a loop over a range of values of a loop variable.

構文Syntax

for identifier = start [ to | downto ] finish do
    body-expression

コメントRemarks

識別子の型は、 startおよびfinish式の型から推論されます。The type of the identifier is inferred from the type of the start and finish expressions. これらの式の型は、32ビットの整数である必要があります。Types for these expressions must be 32-bit integers.

技術的には式でも、for...to は命令型プログラミング言語の従来のステートメントに似ています。Although technically an expression, for...to is more like a traditional statement in an imperative programming language. 本体式の戻り値の型は unitである必要があります。The return type for the body-expression must be unit. 次の例では、for...to 式のさまざまな用途を示します。The following examples show various uses of the for...to expression.

// A simple for...to loop.
let function1() =
  for i = 1 to 10 do
    printf "%d " i
  printfn ""

// A for...to loop that counts in reverse.
let function2() =
  for i = 10 downto 1 do
    printf "%d " i
  printfn ""

function1()
function2()

// A for...to loop that uses functions as the start and finish expressions.
let beginning x y = x - 2*y
let ending x y = x + 2*y

let function3 x y =
  for i = (beginning x y) to (ending x y) do
     printf "%d " i
  printfn ""

function3 10 4

このコードの出力は、次のようになります。The output of the previous code is as follows.

1 2 3 4 5 6 7 8 9 10
10 9 8 7 6 5 4 3 2 1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

参照See also