PR：この記事にはアフィリエイトリンクが含まれます。
OCaml 5の本を探すと、関数型プログラミングの基礎書や数値計算の専門書が見つかります。定番書にも、OCaml 5固有の並行処理やエフェクトを扱わないものがあります。刊行時期にも目を向けたいところです。
型推論やモジュールを先に学び、関心に応じて応用分野へ進む。刊行時期と内容を押さえると、学んだ知識を実務へつなぐ道筋も見えてきます。
まず全体像
| 書名 | 主な領域 | ページ数 | 参考価格 |
|---|---|---|---|
 Real World OCaml 第2版 | 型、モジュール、開発ツール | 512 | US$50.00 |
 More OCaml | 標準ライブラリ、演習 | 216 | — |
 OCaml Scientific Computing | 数値計算、データサイエンス | 359 | US$59.99 |
 Architecture of Advanced Numerical Analysis Systems | Owl、科学計算システム | 472 | US$49.99 |
 Apprendre à programmer avec Ocaml | アルゴリズム、データ構造 | 430 | 32 € |
表の価格は公式の希望小売価格を目安にしています。実売価格は時期や販売店で変わります。購入時には各書店の表示を確認してください。
OCaml 5の基礎を広く学ぶなら、型やモジュールを扱う本が入口になります。関数型言語の経験がある人なら、演習書や科学計算の専門書で実装練習を重ねるのもよいでしょう。
型推論が実務へ
OCamlの型システムは、型注釈を細かく書かなくても、データの形と処理の関係をコンパイラに確かめてもらえるのが魅力です。変更の影響を追いやすい点も、実務で助かるところ。
もちろん、型が通れば設計も正しいとは限りません。関数の入出力や失敗の表し方、状態を持つ範囲を小さく決めることが第一歩です。
モジュールを使えば、設計をコードの境界として表せます。シグネチャで外に見せる操作を絞ると、実装を入れ替えても利用側との契約を保ちやすくなりますね。
GADTのような高度な型機能は強力です。とはいえ、初学者が最初から追う必要はありません。基本の型とモジュールを試し、必要な制約が見えてから学ぶと理解が深まります。
基礎を学ぶ一冊
Real World OCaml 第2版はAnil MadhavapeddyとYaron Minskyの著書で、2022年刊の512ページです。関数型プログラミングの例から始まり、コンパイラのツールチェーンと実用的なソフトウェア開発へ進みます。
型推論やモジュールとシグネチャを扱い、ファーストクラスモジュールやGADTにも触れます。テストや開発ツールも登場。文法を覚えるだけでなく、コードの整理と検証の方法まで学べます。
型システムとモジュールをまとめて学ぶ人におすすめです。ただし、公式GitHubリポジトリの例はOCaml 4.09.0でビルドする構成です。OCaml 5固有の機能は別の資料で補いましょう。
More OCaml
John WhitingtonによるMore OCamlは216ページの中級者向け書です。対象はOCaml経験者と、HaskellやStandard MLなどの関数型言語を使ったことのある人です。標準ライブラリを使った演習で実装を練習できます。
foldや遅延評価、レコードと入出力を扱います。題材は圧縮や集合から探索、置換まで広がり、抽象化を使って問題を整理します。
16章に演習、ヒント、解答を収録し、本書はPDFを生成するプロジェクトにまとめられています。内容は2017年に著者から最初に提供され、紙版は2025年6月刊行です。OCaml 5の新機能を学ぶ本とは役割を分けて考えましょう。
科学計算の設計
数値計算では、配列の形や浮動小数点演算の精度、反復処理のコストが結果に関わります。アルゴリズムを知るだけでは足りず、データの持ち方や性能の設計も欠かせません。
関数型プログラミングの考え方は、計算を入力と出力のはっきりした関数に分けるときに役立ちます。高速化には別の視点も必要です。メモリや並列化の効果を測り、判断する場面もあります。
次の二冊は、数値計算から応用アルゴリズムやシステム設計へと視野を広げます。データサイエンスを実装するか、計算ライブラリの内部を学ぶかで、取り組む題材が変わるでしょう。
数値計算の本
OCaml Scientific ComputingはLiang Wang、Jianxin Zhao、Richard Mortierの共著です。2022年刊で359ページ。関数型プログラミングの基礎を持つ読者に向け、数値計算からデータサイエンスまで扱います。
数値計算や統計、線形代数を扱い、多次元配列や微分方程式にも進みます。信号処理のほか、自動微分や最適化、回帰も取り上げます。応用例にはニューラルネットワークや画像認識、推薦システムがあります。
並列・分散計算と高速化を段階的に学ぶ人におすすめです。公式の希望小売価格はUS$59.99で、実売額は時期や販売店で変わります。
Owlの設計を読む
Architecture of Advanced Numerical Analysis SystemsはLiang WangとJianxin ZhaoがOCamlの数値計算ライブラリOwlを題材に書いた472ページの本です。プログラミング経験者向けで、刊行は2022年12月。
配列処理や計算グラフに加えて、アルゴリズム自動微分と最適化を扱います。ニューラルネットワークも題材です。さらに性能最適化とコンパイラバックエンドも取り上げます。構成やデプロイから分散計算、テストまで扱う点も特徴です。
数値計算の個別手法より、大きなライブラリの組み立てや保守を学びたい人におすすめです。参考価格はUS$49.99で、紙版はSpringer Natureで販売されています。実売価格は時期や店で変わるので、書店の表示を確かめてください。
仏語の演習書
Apprendre à programmer avec OcamlはSylvain ConchonとJean-Christophe Filliâtreの著書です。2014年刊で430ページ、本文はフランス語。読者はプログラミング初学者か、OCamlを知らない経験者です。
100以上の小さなプログラムと約200の演習が収録されています。OCamlの基礎と配列に始まり、集合や辞書、キューやグラフを扱います。動的計画法やソートまで、段階を追って練習できます。
紙版の希望小売価格は32ユーロです。フランス語で学べる読者に向けた演習教材です。OCaml 5固有機能の解説を目的とした本ではありません。
OCaml 5と実務
OCaml 5では、ドメインによる並列実行やエフェクトハンドラーが実務上の話題です。関数やバリアント、レコードとモジュールの知識も、こうした機能を設計に組み込む際の助けになります。
ドメインは並列処理の単位として使われます。並列化する場所を決めるには、共有状態と計算の境界を確認します。処理を純粋な関数として整理しておくと、その判断をしやすくなります。
エフェクトハンドラーは、処理の途中で発生する操作をどう扱うかを構成する機能です。例外や通常の関数呼び出しとの違いまで知るなら、OCaml 5を前提にした新しい解説も合わせて読むと理解が進むでしょう。
五冊では型やモジュール、演習、数値計算を学べます。OCaml 5の機能だけを体系的に学ぶ専用書ではなく、基礎と応用を身につける本として読むのが現実的です。
結論
型推論とモジュールを中心にGADTやテスト、開発ツールまで学ぶなら、最初の一冊はReal World OCaml 第2版がおすすめです。基礎から実用的な開発まで見渡せます。
関数型言語の経験があり演習を重ねたい人にはMore OCamlが合います。データサイエンスの実装ならOCaml Scientific Computing、Owlを題材に大規模な科学計算システムを学ぶならApressの本がおすすめです。
アルゴリズムを小さな課題で練習する人には、フランス語を読めることを条件にEyrollesの本をおすすめします。OCaml 5の並列処理やエフェクトを学ぶ場合は、基礎書に最新の補助資料を組み合わせてください。
Amazon の PC をスコア化してみた
Amazonにある8〜14インチの小型WindowsタブレットやノートPCを、スペック別にスコア化して比較・ランキング。
