プログラミングの基礎(プログラミング ノ キソ)

タイトルだけを見ると広く浅い入門書に見えますが、中身はまったく異なります。本書は OCaml を題材に「プログラムを設計する考え方」を鍛えるための教科書であり、お茶の水女子大学の講義をもとに書かれました。核となるのは「デザインレシピ」と呼ばれる方法論で、データの構造を定義し、それに沿ったテストを書き、テストを満たす関数を実装するという手順を繰り返しながら、再帰やリスト操作、木構造、ダイクストラ法まで段階的に到達します。

OCaml はメジャーな言語ではありませんが、本書で重要なのは言語そのものではなく「型に導かれて正しいプログラムを組み立てる」という思考法です。手続き的に書く癖がついている人ほど、序盤は窮屈に感じるかもしれません。しかし後半の演習で再帰的なデータ構造を自然に扱えるようになった時点で、その窮屈さが設計力に変わっていることに気づきます。情報系の学部生や、関数型の考え方を基礎から体得したいエンジニアに向いた、地味ながら力のつく一冊です。