「オブジェクト指向」の版間の差分

1989年に発表された「User Interface A Personal View」という記事の中でアラン・ケイは、[[Smalltalk]]のオブジェクト指向性は大変示唆的であると前置きした上で、そのプログラミング言語での[[オブジェクト指向プログラミング|OOP]]と、その[[GUI]]フレームワークでのOOUIを照応させながらこう述べている<ref>{{Cite web|url=http://worrydream.com/refs/Kay%20-%20User%20Interface,%20a%20Personal%20View.pdf|title=User Interface A Personal View|accessdate=2020-1|publisher=}}</ref>。これは人とコンピュータの対話形式としてのオブジェクト指向に沿ったものになっている。1970年代から80年代にかけてのオブジェクト指向は、GUI（グラフィカルユーザーインターフェース）と半ば表裏一体で扱われていたという技術史背景がある。

{{Quotation|''object-oriented means that the object knows what it can do.''<br/>（オブジェクト指向とは、オブジェクトが出来る「なにか」を知っていることを意味している）}}

これは[[認知心理学]]の[[アフォーダンス]]につながる考え方と解釈されている。その説明の中でケイは、Smalltalkプログラミングを抽象シンボル舞台と形容しており、GUIフレームワークを具象ユーザーインターフェース舞台と形容している。前者の抽象シンボル舞台では、我々は最初にオブジェクトの名前（識別子）をコーディングし、次にそのオブジェクトが実行する「なにか」を伝えるメッセージをコーディングすることになる。後者の具象ユーザーインターフェース舞台では、我々は最初に操作する対象（アイコン）を選択し、次にその対象が提供する「なにか」のメニュー欄を表示させ選択することになる。この双方を踏まえた上でケイはこう結論している。

{{Quotation|''In both case we have the object first and the desire second. this unifies the concrete with the abstract in highly satisfying way.''<br/>（双方の事例において私達は、オブジェクト（対象）を第一とし、欲求を第二とする。これは高い満足度で具象と抽象を一体化する）}}

{{Quotation|Smalltalk's design—and existence—is due to the insight that everything we can describe can be represented by the recursive composition of a single kind of behavioral building block that hides its combination of state and process inside itself and can be dealt with only through the exchange of messages.<br/>（Smalltalkの設計―及び存在―とは、我々が思い描く全てが、自身のステートとプロセスの連携を内包した振る舞い組立ブロックの再帰構成によって表現され、ただメッセージの交換のみによって処理されるという事だ。）}}ここで登場している'''再帰構成'''（recursive composition）が最も特徴的な要点一つのキーワードである。[[再帰]]の概念は後続の文章にも再三登場しており、Smalltalk設計のあらゆる局面に影響を与えている最重要のプログラム概念にされている。もっとも再帰はコンピュータプログラミング分野の普遍的概念であり、例えば[[ジョン・マッカーシー]]も[[LISP]]の設計を<code>recursive functions of symbolic expressions and their computation by machine.</code>''（記号式の再帰関数群と機械によるその計算）と概略していた。''{{Quotation|In computer terms, Smalltalk is a recursion on the notion of computer itself. Instead of dividing "computer stuff" into things each less strong than the whole—like data structures, procedures, and functions which are the usual paraphernalia of programming languages—each Smalltalk object is a recursion on the entire possibilities of the computer.<br/>（Smalltalkは計算観念の自己再帰である。コンピュータプログラムの全体像に対する不可逆性の部品― データ構造、手続き、関数といった言語機能の諸々に分割していくのではなく、Smalltalkのオブジェクトはそれぞれが全体像への可逆性を備えた再帰部品になる。）}}Smalltalkオブジェクトが備えている全体像への可逆性とは、自身で対応不可なメッセージを受け取ったオブジェクトが積極的な[[委譲]]を繰り返して最終的には処理を全うできるという仕組みを指している。これによってあらゆる計算可能性が表現できるとされている。それに対しての全体像に対する不可逆性への分割とは、いわゆる型付けによる[[型システム]]の導入と同義になる。他の論考でもケイは[[型システム]]に対して否定的な見解を示していた。ただし全体像への可逆性は規則的かつ段階的に行われるべきであったので、そのために[[クラス (コンピュータ)|クラス]]と[[インスタンス]]の仕組みが実装された。{{Quotation|Philosophically, Smalltalk's objects have much in common with the monads of Leibniz and the notions of 20th century physics and biology. Its way of making objects is quite Platonic in that some of them act as idealizations of concepts—Ideas—from which manifestations can be created. <br/>（哲学面でのSmalltalkオブジェクトは、[[ライプニッツ]]の[[モナド]]や20世紀の物理・生物学思考との共通点を見出せる。オブジェクトの構築は全くの[[プラトニック]]であり、顕現の想起性を根底にした[[イデア論]]としてのものである。）}}

32, ''Objects havecommunicate theirby ownsending memoryand receiving messages (in terms of objects).

'''(2)'''のコミュニケーションとは、オブジェクトの呼出ないし[[委譲]]による自己再帰、相互再帰、巡回再帰の流れを指していると見てよい。'''(3)'''の記憶とはつまりデータであるが、キーと値のマッピングによる辞書データとして実装されて[[動的型付け]]性質になり、値＝オブジェクトなので即ちオブジェクトの記憶とはオブジェクトの再帰構成になる。'''(4)'''は、[[クラス (コンピュータ)|クラス]]もまた[[メタクラス]]の[[インスタンス]]であり、メタクラスもまたメタメタクラスのインスタンスになるという再帰構成を意味している。全内容が具象化済みのオブジェクトが末端インスタンスになり、その上のクラス→メタクラス→メタメタクラスの順に抽象内容が多くなっていく。'''(5)'''の振る舞いとはプレースホルダを内包しているプログラムリストであることを意味している。プレースホルダは[[インスタンス変数]]箇所であり実体化されたインスタンス別に変数内容が定まる。プログラムリストとは[[LISP]]のフォームリストに因んだものであり、関数変数シンボルとアトムと数値を連ねたデータ列で、これをコードとして解釈演算するのが評価（eval）である。数値とアトム（文字列）はオブジェクトである。アトムとシンボルは表裏一体の存在であり、双方は文脈によって自在に切り替わる。変数シンボルはただ評価されて束縛先オブジェクトになり、関数シンボルは引数/空引数と共にプロセス付帯評価されて返り値オブジェクトになる。'''(6)'''は、シンボル・アトム・数値などはその時の並べられた順序によっていずれもがメッセージになり、又はそれを受け取る制御オブジェクトになるか、それに渡されるメッセージになるという再帰構成（卵が先か鶏が先か）を意味している。

ここでプログラムからデータを取り除きたいという独特の考えが提示されている。なお、HWアーキテクチャとは前節で説明したの再帰構成の先駆的仕組みに似た技術のようであり、る。細胞/全体（cell/whole）といったうワードもそれと同等と見てよい。

非データ手順（non-data-procedure）のプログラミング実践例としては、ポイントフリースタイルや自由[[モナド (プログラミング)|モナド]]などが挙げられる。いずれも数学の[[代数的構造]]のプログラム応用例であり、純然たる[[宣言型プログラミング|宣言型]]および純粋[[関数型プログラミング|関数型]]の分野になる。これにケイの生物学専攻を背景にしたバイオ/ネット（bio/net）なる考えが加えられているが、これは前述の細胞/全体（cell/whole）と同等の似たような再帰構成的な概念と見てよい。[[プロセス代数]]は[[並行計算]]の実装理論として重視されており、メッセージングはこれにも近い概念になっている。