Akso de la Malbono

「オブジェクト指向プログラミングとは」は毎度毎度ネタになる話だと思いますが、繰り返し書くことにも意義はあると思うのでちょっと書いてみますね。 まず「オブジェクト指向は構造体に関数をつけただけのもの」という言説について。それは「抽象データ型（Abstract Data Type）」という名前がついているもので、オブジェクト指向にあたって（本来）先んじて理解しておくべき概念でした。しかし、この「先んじて理解しておくべき」が教育文脈で共有されなかった結果、基盤となるべき抽象データ型の話がぜんぜん広まらずに色々とややこしいことになったというのが2024年なのかなと。 で、その抽象データ型（を用いたプログラミング）とオブジェクト指向プログラミングはどう違うのかというと、最大公約数的には「サブタイピングがあるのがオブジェクト指向」になると思います。実装継承は1990年代で既にその実害が広く認識されていましたし、必須のものではないという見解もありました。実装継承がないオブジェクト指向言語の実装もありました。しかし、サブタイピング抜きのオブジェクト指向は成立しません（CLOSみたいなやや特殊なシステムであってすら）。 それはともかくとして、いわゆるポリモーフィズム（サブタイピングポリモーフィズム）を活用しまくるのが正しいオブジェクト指向であるというのはオブジェクト指向識者の間でも一般的な見解でしたが（Martin Fowlerなんかは特に顕著でしょうか）、ここ十年くらいで大きくそれが揺らいでいる感じがします。 たぶんこれは二つの影響があって、一つは第一級関数の流行。継承して抽象メソッドをオーバーライドするより関数を値として渡す方がはるかに便利なこと多いじゃんと多くの人が悟ってしまった。加えて、メジャーな言語はほぼ第一級関数を取り入れてるので、実践するための障害も少ない。 もう一つは、より小さい影響かもですが、ポリモーフィズムを活用してデータに振る舞いを埋め込むより、データはデータとして分離した方がいいんじゃない？という流れ。ただ、この考え自体はオブジェクト指向が広まる裏でもひっそりとあったとはいえ、列挙型とswitch-caseだけだとよくあるパターンをうまく表現できないのも確かではあったので、そういう話がありつつも「データはデータで分けよう」という話があまり主流にはなれなかった気がします。 ただ、最近はその問題を（ある程度）解決できる、代数的データ型をオブジェクト指向的言語に取り入れる例がどんどん増えてます。比較的新しい言語ではSwift、Kotlinが代表例。既存言語でもC#は既に取り込んでますし、Javaも21でパターンマッチ含めてひと通り揃った感じがあります。PHPは詳しくないですが、PHP RFCで検討中みたいですね。なお、動的型付き言語だと、直接代数的データ型を表現できても旨味が少ないのか、パターンマッチングだけ取り入れるという方向に進化してる気がします。 ざっくりとし過ぎな話で細かいとこは異論があるかと思いますが、そんな感じで。「メッセージパッシング」の影響は限定的だったと私は評価してるのでそこはばっさり略。