ocaml

• 加減算を行うインタプリタ eval を実装する。
• インタプリタは、手入力された抽象構文木(AST)を評価する。(5 + (7 - 9))
• 手入力で AST を作成するメリットは、数式の字句解析と構文解析を省略できる点にある。
• これにより、実装対象をインタプリタ（僅か10行ほど）に絞り込むことができる。
• このインタプリタはパターンマッチの簡潔なサンプルとして優れている。
• パターンマッチを使用すると、リストの分解など他にも面白いことができるが、今回のシナリオには含まれない。

• Yコンビネータ（こんな感じのやつ → Y(F) = F(Y(F)) ）を無心に写経する。
• サンプルとして fact(10) を計算する。
• 変数名としても関数名としても、fact の名を冠するものは登場しない。

SICP Exercise 3.27.

• 高階関数 memoize は、引数で渡された関数に対して、計算結果のキャッシング機能を追加する。
• memoize の戻り値はキャッシング機能付きの関数で、これを変数 fib を通して使用する。
• キャッシング機能によって、計算量の爆発が抑えられることを確認する。
• 具体的には fib(1000) を計算する！ これは、メモ化されていない fib(30) よりも遙かに速い。
• 計算結果の桁数が200桁を越えるので、可能であれば多倍長整数を使用する。

• 処理系で用意されている方法があるなら、それを使用する。
• 無ければ、関数の実行時間を計測する関数 time を作成する。
• 計測対象のサンプル関数として、フィボナッチ数を計算する fib を作成する。
• 計測単位は、可能な限り秒(sec)とする。
• 計測精度はミリ秒でもマイクロ秒でも構わない。

• 高階関数 myEach は、配列要素を1つ取り出すごとに、これを引数としてコールバックを行う。
• 呼び出し側は、3の倍数を見つけたらプリントする。
• myEach は、可能であれば組み込み型の拡張として実装する。 このとき継承は使わない。

記事で使用している処理系のインストール方法、 及びシェルの起動と終了について記載します。

• 無限に続く奇数列 (1, 3, 5, 7, 9 ...)、odd を作成する。
• 最初の10件を配列（リスト）に取り込む。

• 有限の奇数列 (1, 3, 5 .. 19) 、odd を作成する。
• 可能であれば、 無限リストへの道筋となるような実装を行う。
• 値を一気に配列（リスト）に取り込む。

• サンプル： 10 * 9 * 8 * 7 * 6 * 5 * 4 * 3 * 2 * 1 = 3628800
• いずれの処理系でも、非末尾再帰と末尾再帰の 2バージョンを作成する。 処理系によっては、末尾再帰で記述すると最適化される。
• パターンマッチを使用できる処理系では、これを使用する。 そうでなければ if-else に準ずる構文を使用する。

• 高階関数 foo は、ラムダ関数を返す。
• このラムダ関数は、環境（foo の引数 keyword、foo のローカル変数 page）を記憶している。
• 呼び出し側は、変数 f1 と f2 を通して、キーワードに対する検索結果のページを次々に取り出すことができる。

• 定形処理（x ** 2）を行う高階関数 foo を作成する。
• 差分処理（x * 2）を行うラムダ関数を作成する。
• 高階関数 foo は、ラムダ関数をコールバックしたあと、両者の和を求める。

• 処理前： [1, 2, 3, 4, 5]
• 処理後： [1, 4, 9, 16, 25] （各要素を2乗）

• 2 * 3 = 6

• 1 + 2 + 3 + 4 + 5 = 15
• 1 * 2 * 3 * 4 * 5 = 120

関数型言語の既存言語への影響

JavaScript: 世界で最も誤解されたプログラミング言語

Cの皮を被ったLisp
JavaScriptには、Cのような中括弧や不格好なforステートメントがあるため、一般的な手続き型言語のように見えますが、 それは誤りです。JavaScriptはCやJavaよりも、LispやSchemeのような関数型言語と多くの共通点を持っているのです。

RubyがLispから継承したもの、してないもの

プログラマが感じるRubyのよさはLispから受け継がれていると、Rubyのデザイナであるまつもと氏は話す。 Lispの8割から9割くらいの特徴が Rubyに受け継がれているとも。 プログラマであるまつもと氏が使い勝手にこだわった言語として、Rubyはデザインされている。 その特徴に共感を覚えた世界中のプログラマたちが、現在のRuby人気を支えている。