OOP の作成者である Alan Kay が開発、Lisp、OOP について語る

アラン・ケイについて聞いたことがないとしても、少なくとも彼の有名な言葉は聞いたことがあるでしょう。 たとえば、1971 年のこの引用は次のとおりです。

未来を予測する最良の方法は、それを発明することです。
未来を予測する最良の方法は、それを発明することです。

アランは、コンピューター サイエンスにおいて非常に多彩なキャリアを持っています。 彼は受け取った 京都賞 и チューリング賞 オブジェクト指向プログラミング パラダイムに関する彼の研究に対して。 彼はパーソナル コンピュータとグラフィカル インターフェイスの分野の先駆者の XNUMX 人であり、 スモールトーク 史上最も影響力のあるプログラミング言語の XNUMX つです。

私たちの中で ヘクスレット、特に 雑談では、「OOPとは何なのか」「アラン・ケイの本当の意味は何なのか」という疑問が常に提起されています。 この投稿には、現代の開発、OOP、Lisp 言語の現状についての Alan からの興味深い引用が含まれています。

ソフトウェア開発について

アラン・ケイは、コンピューター革命はまだ来ていないと信じています (本当のコンピュータ革命はまだ起こっていない)、ソフトウェア開発はムーアの法則に反比例して発展します。ハードウェアは毎年改良されますが、ソフトウェアは不必要に肥大化します。

問題は、アイデアやツールが弱く、拡張性に乏しいこと、怠惰、知識の欠如などです。

この状況をよく表しています 短い冗談:

アンディが与えるもの、ビルが奪うもの
アンディが与え、ビルが受け取った

インテルのCEOであるアンディ・グローブと、当時マイクロソフトのCEOだったビル・ゲイツ。

現在の開発状況を改善することが研究プロジェクトの目標でした プログラミングの再発明に向けたステップ (pdf)。 目標は、「必要なコードの量を100、1000、10000分のXNUMX、またはそれ以上に削減する」ことで、表現力における「ムーアの法則」を達成することです。

彼の目を見張るような報告の中で プログラミングとスケーリング (ビデオ) このトピックについては、さらに詳しく説明します。 アラン氏によると、ソフトウェア エンジニアリングは行き詰まり、ハードウェアやその他の科学や工学分野に追いつけない忘れ去られた科学になりつつあります。 大規模なプロジェクトはコードダンプとなり、次のような点に達しています。 誰も MS Vista や MS Word の 100 億行のコードを理解することはできません。 しかし実際には、そのようなプロジェクトではコードの量が桁違いに少なくなるはずです。

アランは、インターネット、TCP/IP プロトコル、LISP インタープリタ、 Nile (ベクトル グラフィックスの数学 DSL) および OMeta (OO PEG) (PDF) 最小限のコードでエレガントなソフトウェアの例。

同氏は、インターネット (TCP/IP) は正しく設計された数少ない大規模ソフトウェア プロジェクトの 20 つであり、その複雑さのレベルは複雑さのレベル (複雑さ対複雑さ) とバランスがとれていると述べています。 このプロジェクトは 1969 行未満のコードで、数十億のノードをサポートできる生きた動的なシステムとして動作し、XNUMX 年 XNUMX 月の最初の立ち上げ以来、一度もオフラインになったことはありません。 私たちは、インターネットを人間が作成した通常のソフトウェア プロジェクトであると考えるのをやめただけです。

インターネットは非常に発達しているため、多くの人がインターネットを人間の労働の産物ではなく、太平洋のような天然資源のように扱っています。 これほど安定していて、明確で、エラーのないテクノロジーを最後に見たのはいつでしょうか? それに比べれば、Web はナンセンスです。 ウェブは素人が作成したものです。

オブジェクト指向プログラミングについて

私が最初に興味を持ったのは彼のことでした 初期 OOP ビジョン。 微生物学における彼の経験は重要な役割を果たしました。

私はオブジェクトを生物細胞や、メッセージを通じてのみ通信できるネットワーク上の個々のコンピューターのようなものだと考えていました。

数学の経験:

私の数学の経験により、各オブジェクトが複数の代数を持つことができ、それらを組み合わせて族にすることができ、これが非常に便利であることがわかりました。

LISPa の遅延バインディングと強力なメタ機能のアイデア:

第 XNUMX 段階では、LISPa を理解し、その理解を利用して、より簡単で、より小さく、より強力な構造とその後のバインディングを作成します。

そしてすぐに、アランは動的言語は次のようなものであるという考えを支持し始めました。 ソフトウェア開発の未来 (pdf)。 特に、変更のしやすさが彼にとって重要です。

遅延バインディングにより、(C、C++、Java などの以前にバインドされたシステムと比較して) 開発プロセスの後半で出たアイデアを、より少ない労力でプロジェクトに組み込むことができます。

そして、その場での変更とより高速な反復の可能性:

重要なアイデアの XNUMX つは、テスト中、特に変更が行われている間、システムが動作し続ける必要があるということです。 たとえ大きな変化であっても、ほんの一瞬以内に徐々に変化させる必要があります。

に欠けているのは 静的に型付けされた言語:

ほとんどの人がそうしているように、早期バインディング言語を使用すると、すでに書いたものに自分自身を閉じ込めることになります。 それを簡単に再定式化することはもはや不可能になります。

驚くべきことに、OOP に関する彼の考えはこれに限定されていました。

私にとって OOP は、メッセージ、ローカルの保持と保護、状態の隠蔽、すべての遅延バインディングです。 これは、Smalltalk と LISP で実行できます。

そして継承については何もありません。 これは OOP ではありません 今日私たちが知っていること:

ずっと前にこのトピックで「オブジェクト」という用語を使用していればよかったのにと思います。なぜなら、この用語を使うと多くの人があまり重要でないアイデアに注目してしまうからです。

最新の静的型付けされた OO 言語に欠けている大きな概念:

大きなアイデアは「メッセージ」です

彼は、オブジェクトの内部ではなく、メッセージ、疎結合、モジュールの相互作用に重点を置くべきだと信じています。

優れたスケーラブルなシステムを作成するための鍵は、モジュール間の通信メカニズムを解明することであり、モジュールの内部プロパティや動作を解明することではありません。

彼には静的に型付けされた言語がそう見える 欠陥のある:

私は型に反対しているわけではありませんが、痛みを引き起こさない型システムを知りません。 だから私は今でも動的型付けが好きです。

現在人気のある言語の中には、Smalltalk のメッセージ パッシングのアイデア、遅延バインディング、および 理解していません: forward呼び出し в オブジェクティブC, メソッドがありません в ルビー и noSuchMethod Googleで ダート.

すべてを破壊し、より良いものを生み出す

アランは、コンピューター サイエンスの発展について興味深い理論を持っています。

コンピューター サイエンスは XNUMX 種類しかなく、科学は橋を架けるようなものだと私には思われます。 誰かが橋を架け、誰かが橋を壊して新たな理論を生み出す。 そして私たちは橋を架け続けなければなりません。

LISPについて

アラン・ケイはLispを信じている

史上最高のプログラミング言語

そして、コンピュータ サイエンスの卒業生はすべてそれを学ぶべきです。

CS の学位を取得しようとしている人のほとんどは、Lisp の重要性を理解していません。 Lisp はコンピュータサイエンスにおいて最も重要な考え方です。

適切な雰囲気とコンテキストについて

彼はその独特の雰囲気をよく思い出します。 ゼロックスPARC и ARPA、「ビジョンは目標よりも重要」であり、「プロジェクトではなく人材に資金を提供する」。

視点はIQポイント80点に相当します。

アラン・ケイはこう言います。

ARPA/PARC の物語は、ビジョン、控えめな資金、適切な背景とプロセスの組み合わせが、文明に影響を与えるだけでなく、社会に多大な価値を生み出す新しいテクノロジーを魔法のように生み出すことができることを示しています。

そしてこれは本当です。 PARC の素晴らしい発明リストをご覧ください。、その多くは私たちの世界の発展において非常に重要な役割を果たしました。 例えば：

• レーザープリンター
• オブジェクト指向プログラミング / Smalltalk
• パソコン
• イーサネット / 分散コンピューティング
• GUI / コンピュータマウス / WYSIWYG

とで ARPA 作成した アルパネット、インターネットの祖となりました。

PS アラン・ケイがハッカーニュースコミュニティからの質問に答える.

出所： habr.com