【図解で比較】オブジェクト指向 vs 関数型プログラミング — 2大パラダイムの違いを徹底解説

ざっくり言うと、「モノ（オブジェクト）を中心に考える」のがオブジェクト指向で、「処理（関数）を中心に考える」のが関数型だよ。オブジェクト指向はデータと操作をひとまとめにした「クラス」を作って、それを組み合わせて設計する。関数型はデータを受け取って新しいデータを返す「純粋関数」を組み合わせて設計するんだ。

たとえば「動物」というクラスを作って、その中に「名前」や「鳴き声」というデータと、「鳴く」という操作をまとめる。そこから「犬」や「猫」を継承で派生させれば、共通部分は再利用しつつ個別の振る舞いだけ上書きできる。カプセル化で内部のデータを外から直接触れないようにして、安全に管理するのもオブジェクト指向の特徴だね。

関数型の柱は3つ。まず「純粋関数」で、同じ入力には必ず同じ出力を返す関数のこと。次に「イミュータビリティ（不変性）」で、一度作ったデータは変更しない。変えたいときは新しいデータを作る。最後に「高階関数」で、関数を引数に渡したり、関数を返す関数を作ったりできる。mapやfilterがその代表例だよ。

そこが最大の違いと言ってもいいくらい。オブジェクト指向ではオブジェクトが内部に「状態」を持っていて、メソッドで状態を変更していく。関数型では状態を直接変えずに、データを変換して新しい状態を作る。オブジェクト指向は「この犬の名前をタロウに変更する」、関数型は「名前がタロウになった新しい犬データを作る」というイメージだね。

オブジェクト指向の代表はJavaやC#。関数型の代表はHaskellやElixir、Clojureあたりだね。ただ最近は「マルチパラダイム」の言語が主流で、JavaScriptやPython、Scalaはオブジェクト指向と関数型の両方の書き方ができる。どちらか一方だけという時代ではなくなってきているよ。

いいところに気づいたね。Reactは元々クラスコンポーネントでオブジェクト指向的に書いていたけど、Hooks登場以降は関数コンポーネントが主流になった。useStateやuseEffectは、状態を直接変えるのではなく「新しい状態をセットする」という関数型の考え方に近い。UIを「状態から画面への変換関数」と捉えるのは、まさに関数型の発想だよ。

大規模なシステムで複雑なビジネスロジックをモデリングするなら、オブジェクト指向の整理力が活きる。データ変換やパイプライン処理、並行処理が多い場面では関数型が強い。実務では両方のエッセンスを混ぜて使うのが一番多いパターンだね。

関数型の世界には「モナド」という概念があって、副作用を型で安全に管理する仕組みがある。怖い名前だけど「処理の順序を保証する箱」くらいのイメージで大丈夫。並行処理ではErlang/Elixirの「アクターモデル」がオブジェクト指向と関数型の中間みたいな設計で注目されているよ。Rustは所有権システムで状態管理の安全性を言語レベルで保証していて、両パラダイムのいいとこ取りを目指した設計と言えるね。

そのとおり。現代のプログラミングは「オブジェクト指向 vs 関数型」ではなく「オブジェクト指向 and 関数型」の時代。それぞれの強みを理解して、場面に応じて使い分けられるのが一番の武器になるよ。