概要
関数型プログラミング（FP）の大きな強みの一つが、**「テストが極めて書きやすい」**という点にある。
- モック不要
- DI不要
- 環境構築不要
それはなぜ可能なのか？
答えは、純粋関数と不変な構造に基づいた設計哲学にある。
本稿では OCaml を例に、関数型プログラミングがテストファーストかつ高速な開発をどう支えるかを、
コードとともに構造的に示していく。
1. 純粋関数の定義と特性
純粋関数とは、「副作用を持たず、同じ入力には常に同じ出力を返す関数」
let add x y = x + y
- 外部依存なし
- グローバル状態なし
- 副作用なし
→ つまり 「入れたら結果が出るだけ」。これによりテストは完全にローカルで完結する。
2. テストしやすさの源泉：関数＝決定論的構造
let greet name = "Hello, " ^ name ^ "!"
let () =
assert (greet "Alice" = "Hello, Alice!");
assert (greet "Bob" = "Hello, Bob!")
- テストは入力と出力の一致を確認するだけ
- 状態の初期化・モックの挿入・DBの準備は一切不要
3. 副作用を隔離できる構造
副作用が必要な場合も、関数型ではそれを境界に隔離する設計を取る。
let calc_tax amount = amount *. 1.1
let print_total amount =
let taxed = calc_tax amount in
Printf.printf "Total: %.2f\n" taxed
-
calc_taxは純粋関数 → テスト可能 -
print_totalは副作用あり → エントリポイントに限定 - ロジックの中核はテスト可能領域にとどまる
4. モックもDIも不要な理由
| 機能 | 伝統的手法（命令型） | 関数型設計 |
|---|---|---|
| DBアクセス | モック or DIで差し替える | DBアクセス部分を引数として渡す関数にする |
| ログ出力 | モック or Logger注入 | ロジックと出力を分離して関数として注入 |
| 設定値の注入 | Configクラスや外部ファイル | 引数として受け取る（副作用不要） |
→ 関数型では「振る舞い」も「依存」もすべて引数で制御できる。
→ DIコンテナもモックライブラリもいらない。
5. 設計判断フロー
① この関数は外部の状態に依存しているか？ → YES → 純粋化または外部化できないか検討
② テストのために何かを初期化しているか？ → YES → 副作用とロジックを分離できないか？
③ DIやモックが必要と感じているか？ → YES → 引数で制御できないか？
④ 複雑な構造で再利用性が低下していないか？ → YES → 小さな純粋関数に分解可能か？
6. 実際の開発スタイルへの応用
✅ サービス層とロジック層の分離
(* ピュアロジック層 *)
let calc_discount price rate = price *. (1.0 -. rate)
(* サービス層での副作用付き処理 *)
let handle_checkout price rate =
let final_price = calc_discount price rate in
Printf.printf "Final price: %.2f\n" final_price
→ calc_discount は完全にテスト可能
→ handle_checkout は副作用部分で、最小限に閉じ込められている
よくある誤解と対策
❌ テストのためにはインフラや外部を用意しないといけない
→ ✅ 関数型では テストの対象＝純粋関数。外部依存は持ち込まない
❌ 純粋関数だけでは現実的な処理が書けない
→ ✅ 副作用は完全排除ではなく、制御下に置いて構造的に扱う
❌ DIは必要不可欠な技術
→ ✅ 引数による振る舞い注入が自然にできれば、DIは不要になる
結語
関数型プログラミングは、設計そのものが「テストしやすさ」へと最適化されている。
- ロジックは副作用を持たず
- 状態は変更されず
- 構造は静的に定義されている
だからこそ、DIもモックも環境依存もなく、ただ関数を呼ぶだけで検証が可能になる。
関数型の設計とは、
“ロジックを純粋に分離し、検証可能性を構造的に保証する哲学である。”