このところ関数型言語の書籍の発行・話題で賑わっています。OCamlやHaskell、Erlang、Scalaといった名前を聞いたことがあるのではないでしょうか？ また、Googleが発表したGo言語という名前も知っている方もいるでしょうし、マイクロソフトからはF#という関数型言語がリリースされたことをすでにご存じの方もいるでしょう。

なぜ今関数型に注目が集まっているのでしょうか？ 最初にその理由の1つであるキーワードから見ていきましょう。

キーワードで見る関数型

皆さんがインターネットで何か調べる際、検索サービスを利用することでしょう。中にはGoogle社の検索サービスなども一度は利用したことがあるのではないでしょうか？

このGoogle社が提供している検索サービスは『クラウド』と呼ばれる大規模な分散コンピューティングシステムで実現されています。

またここ数年に発売されているパーソナル・コンピュータに搭載されているCPUが『マルチコア（複数CPU搭載⁠）⁠』になっているのを目にすることでしょう。CPUが複数搭載される利点は、簡単に説明すると、今までのパーソナル・コンピュータに比べて、処理能力が倍増するということになります。このことにより、仮想現実、3D、音声入力などなど、様々な利用分野を考えることができます。

並列コンピューティング（分散コンピューティング）

先ほどマルチコア搭載のパーソナル・コンピュータで、仮想現実、3D、音声入力などなど様々な利用分野を考えられると説明しましたが、一般的なパーソナル・コンピュータでマルチプロセッサを有効に活用するには、どうしたら良いでしょうか？

マルチプロセッサを有効活用するには、並列化を意識したプログラムを行う必要があります。具体的には下記2点の内容です。詳しくは、関数型書籍を参照してください。

• 同時に動作するタスクに分割する
• 共有リソースに対するロックや競合、同期の課題（一貫性の課題）

上記2点を意識した、並列化が可能なアルゴリズムでプログラムを開発すれば、並列化（マルチプロセッサ）による性能向上が得られることになります。

このアルゴリズムを実現するには、言語レベルで「関数に同じ引数を与えれば、同じ値を返す」必要があります。これは、近年主流のオブジェクト指向言語であるC#やJavaでは難しい問題です。たとえば以下のC#で記述したプログラムを見てください。

int total = 0;                  // 変数の定義
int totalOfIntA(int a)          // 整数の合計を求めるメソッド
{    
     total += a;
     return total;
}
int sub = totalOfIntA(1);       // 1が返る
sub = totalOfIntA(2);           // 3が返る

このプログラムは「total」という変数に依存します。つまり、totalの値を変えてしまうと、結果がかわってしまいます。ところが、関数型で記述した下記例では、引数以外の要素に左右されていないことがわかります。

// 整数の合計を求めるメソッド
int totalOfIntB(int a, int subTotal)
{
     return a + subTotal;
}
int sub = totalOfIntB(2,        // 別々にも記述できます
            totalOfIntB(1, 0) );      // 3が返る

このように、複数のCPUを使ったプログラミングや分散コンピューティングが、昨今関数型言語に注目が集まっている理由となります。

皆さんもこれを機に、関数型言語を学んでみてはいかがでしょうか？