step2 変数宣言とprintfnと書式指定子

Step 1 では、F#プロジェクトの作成と実行方法を確認した。Step 2 では、F#における基本的な変数宣言、値の出力方法について学び、実際にコードを書いていく。

変数宣言

F#では、let キーワードを使って変数を宣言することができる。一応書いておくと、文末にセミコロンは必要ない。

let 変数名 = 値

let束縛は、値を名前に紐づける。 TypeScript と異なり、varやconstは存在しない。また、基本的には変数の再代入はできない。例えば、整数型の変数 x に 10 を代入する場合は、以下のように記述する。

let x = 10

F#は型推論が強力なため、ほとんどの場合、変数の型を明示的に指定する必要はない。コンパイラが値から型を推論してくれる。

もちろん、型を明示的に指定することも可能だ。型を明示する場合は、変数名の後ろにコロン（:）を置き、その後に型名を記述する。

let x: int = 10

F#では、基本的に変数への再代入はできないが、シャドーイングという方法で同じ名前の変数を再宣言し、以前の値を隠蔽することができる。

let x = 10
printfn "x = %d" x // x = 10

let x = 20
printfn "x = %d" x // x = 20

ただし、初心者のうちは混乱を招く可能性があるため、シャドーイングはあまりおすすめしない。

また、C#のようにどうしても変数の値を変更したい場合は、mutable キーワードを使用する。mutable を使うと、<- 演算子で変数の値を変更できるようになる。

let mutable y = 5
printfn "y = %d" y // y = 5

y <- 10
printfn "y = %d" y // y = 10

変数が変更可能だと、プログラムの挙動が予測しにくくなる。基本的には変数の再代入は避けるべきだ。mutableの使用は、必要な場合に限るようにしよう。詳しくは、あとの Step で説明する。

あとひとつ言っておくと、[<Literal>]という属性を使うと、変数を定数として宣言できる。定数は変更不可で、コンパイル時に値が埋め込まれる。

[<Literal>]
let z = 100

このようにして定数を宣言すると、z は変更不可で、コンパイル時に 100 に置き換えられる。普通に変数を宣言するよりも効率的かもしれない(コンパイル時に値が埋め込まれるため)。

コンソールに値を出力するには、printfn 関数を使用する。

printfn "出力したい文字列"

TypeScript の console.log() に相当する関数だと考えると分かりやすい。

printfn 関数では、書式指定子を使って、変数などの値を文字列に埋め込むことができる。書式指定子は % から始まる文字列で、値の型に応じて使い分ける。

主な書式指定子は以下の通りだ。

例えば、変数 x の値を埋め込んで出力したい場合は、以下のように記述する。

let x = 10
printfn "xの値は%dです" x

このコードを実行すると、xの値は10です とコンソールに出力される。

複数の値を埋め込むことも可能だ。

let name = "Alice"
let age = 30
printfn "%sさんの年齢は%d歳です" name age

この場合、Aliceさんの年齢は30歳です と出力される。困ったときは%Aを使うと、型に合わせた適切な形式で出力される。

それでは、Program.fs に let で変数を束縛し、printfn で出力してみよう。 Program.fs を以下のように書き換える。

let answer = 42

printfn "正解は%dです" answer

書き換えたら dotnet run で実行する。以下のように表示されれば成功だ。

正解は42です

このステップでは、以下の内容を学んだ。

次のステップでは、ユーザーからの入力を受け取る方法を学ぶ。