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

153

5.6　まとめ

 使い方は

checkedSqr

関数と全く同じです。

megaCheckedSqr(10);

//=> 100

megaCheckedSqr(0);

// Error: 0

ではいけません

 しかし以下のような場合は結果が異なります。

megaCheckedSqr(NaN);

// Error:

結果は正の数である必要があります

 もちろん、関数が事後条件の検証時にエラーを発生させるということは、前提条件

に漏れがあるか、前提条件が厳しすぎるか、もしくは内部ロジックに不具合があると

いうことです。関数の作者としては、事後条件でのエラーは常に自らの失敗です。

5.6

 

まとめ

 本章では、一般的もしくは特化した目的のいずれでも、既存の関数から新しい関数

を合成することができるという考え方を実践しました。合成の最初のフェーズは、手

動で関数を次から次へと呼び出し、そしてそれらの呼び出しを別の関数で包んだもの

です。しかし、この後に説明した合成関数を使用した場合は簡単に読むことができ、

その関数が持つ機能を推論することができました。

 最初に説明した合成関数は、関数といくつかの他の引数を取り一番右の引数を固

定する

curry

でした。可変数の引数を許可するという

JavaScript

関数の特性のため、

curry

と

curry2

という静的なカリー化用の関数が、ある特定の数のパラメータを持っ

た関数からいくつかのカリー化された引数を持った関数を生成しました。カリー化の

紹介に加えて、カリー化を使った面白い関数をいくつか実装しました。 ...