JavaScriptで学ぶ関数型プログラミング

205

7.3　不変性

summ

のような関数を書くことができません。

function summ(array) {

var result = 0;

var sz = array.length;

for (var i = 0; i < sz; i++) result += array[i];

return result;

}

summ(_.range(1,11));

//=> 55

 問題は、関数

summ

の問題は、

i

と

result

という

2

つのローカル変数を変異させる

ということです。しかし、伝統的な関数型言語におけるローカル変数は実際には全

く「変数」ではなく、不変であり、変更することができません。そのようなローカル

変数を変更するためのただひとつの方法は、コールスタックを介して変更することで

す。つまり、これは再帰が行うことそのものなのです。次の例は、

summ

と同じ機能

を持つ関数を再帰を使って実装したものです。

function summRec(array, seed) {

if (_.isEmpty(array))

return seed;

else

return summRec(_.rest(array), _.first(array) + seed);

}

summRec([], 0);

//=> 0

summRec(_.range(1,11), 0);

//=> 55

 再帰を使うと、関数の引数（

seed

）を通じて状態が管理され、状態の変更はある再

206

7 章　純粋性、不変性、変更ポリシー

帰呼び出しの引数が次の呼び出しに渡されることで行われます ...