F#はパソコン言語の一種で、関数型言語(かんすうがたげんご)と言われています。それは抽象化(ちゅうしょうか)的に関数を使うので、オブジェクト指向(しこう)言語のジャバとかC++などとは違います。始めて目にした時、F#の関数はジャバのメソッドとにとても似ていると思うだろう。
F# ジャバ
let square x = x * x int square(int x) {
return x * x;
}
しかしF#は上位関数型言語なので、関数は値にも使うことができます。たとえば、「map」は上位関数で、受け取り関数をリストの要素(ようそ)と呼びます：
> 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」でさえ短(みじか)く、判(わか)りやすく、そして容易(ようい)に書くことができません。一般的にはF#プログラムの長さはジャバの長さの十パーセントぐらいしかありません。
F#の生まれについて
２００２年に、ケンブリッジにあるマイクロソフトの研究所で、情報工学者(じょうほうこうがくしゃ)のドン・サイム博士が、F#言語とコンパイラーを初めて作りました。最近ではF#が段々と人々に広まり一般的になりました。ヨーロッパでも、アメリカでも、アジアでも多くの科学者、学生、インベストメントアナリストもF#でプログラミングをしています。