F#はパソコン言語の一種で、<RUBY style="RUBY-ALIGN: distribute-space">関数型言語<RP>(</RP><RT style="FONT-SIZE: 6pt; LAYOUT-GRID-MODE: line; FONT-FAMILY: 'MS Mincho'">かんすうがたげんご</RT><RP>)</RP></RUBY>と言われています。それは<RUBY style="RUBY-ALIGN: distribute-space">抽象化<RP>(</RP><RT style="FONT-SIZE: 6pt; LAYOUT-GRID-MODE: line; FONT-FAMILY: 'MS Mincho'">ちゅうしょうか</RT><RP>)</RP></RUBY>的に関数を使うので、オブジェクト<RUBY style="RUBY-ALIGN: distribute-space">指向<RP>(</RP><RT style="FONT-SIZE: 6pt; LAYOUT-GRID-MODE: line; FONT-FAMILY: 'MS Mincho'">しこう</RT><RP>)</RP></RUBY>言語のジャバとかC++などとは違います。始めて目にした時、F#の関数はジャバのメソッドとにとても似ていると思うだろう。

F# ジャバ

let square x = x * x int square(int x) {
return x * x;
}

しかしF#は上位関数型言語なので、関数は値にも使うことができます。たとえば、「map」は上位関数で、受け取り関数をリストの<RUBY style="RUBY-ALIGN: distribute-space">要素<RP>(</RP><RT style="FONT-SIZE: 6pt; LAYOUT-GRID-MODE: line; FONT-FAMILY: 'MS Mincho'">ようそ</RT><RP>)</RP></RUBY>と呼びます：

> map square [1; 2; 3; 4];;
val it : int list = [1; 4; 9; 16]

ここでは関数の「square」が引数されて使われます。「map」はF#で使うとても書きやすいです：

let rec map f xs =
match xs with
| [] -> []
| x::xs’ -> (f x) :: map f xs’

ジャバで書くことはどんな上位関数でも難しいので、簡単な「map」でさえ<RUBY style="RUBY-ALIGN: distribute-space">短<RP>(</RP><RT style="FONT-SIZE: 6pt; LAYOUT-GRID-MODE: line; FONT-FAMILY: 'MS Mincho'">みじか</RT><RP>)</RP></RUBY>く、<RUBY style="RUBY-ALIGN: distribute-space">判<RP>(</RP><RT style="FONT-SIZE: 6pt; LAYOUT-GRID-MODE: line; FONT-FAMILY: 'MS Mincho'">わか</RT><RP>)</RP></RUBY>りやすく、そして<RUBY style="RUBY-ALIGN: distribute-space">容易<RP>(</RP><RT style="FONT-SIZE: 6pt; LAYOUT-GRID-MODE: line; FONT-FAMILY: 'MS Mincho'">ようい</RT><RP>)</RP></RUBY>に書くことができません。一般的にはF#プログラムの長さはジャバの長さの十パーセントぐらいしかありません。

F#の生まれについて

２００２年に、ケンブリッジにあるマイクロソフトの研究所で、<RUBY style="RUBY-ALIGN: distribute-space">情報工学者<RP>(</RP><RT style="FONT-SIZE: 6pt; LAYOUT-GRID-MODE: line; FONT-FAMILY: 'MS Mincho'">じょうほうこうがくしゃ</RT><RP>)</RP></RUBY>のドン・サイム博士が、F#言語とコンパイラーを初めて作りました。最近ではF#が段々と人々に広まり一般的になりました。ヨーロッパでも、アメリカでも、アジアでも多くの科学者、学生、インベストメントアナリストもF#でプログラミングをしています。