フェルナンドJ.コルバトーの「制約言語」

彼のために1990年チューリング賞を受賞スピーチ、フェルナンド・J・コルバトは、複雑なシステムは、必然的に失敗する理由を記載されています。彼の結論で、彼は失敗の確率を減らすためのいくつかの提案をします。彼は1つのアイデアを次のようにリストしています。

設計または合成のための制約された言語の[U]は強力な方法論です。プログラマーやデザイナーが無関係なアイデアを表現できないようにすることで、起こりうるエラーの領域ははるかに限定されます。

「制約言語」とはどういう意味ですか？

しばらくの間、制約プログラミングを検討しました。ただし、制約プログラミングとは、プログラムのソリューション空間を制限することです。これは、プログラマを支援するツールです。Corbatóが言及している機能は、実際にプログラマを制限するものであるか、または少なくとも彼女がより簡潔なコードを書く傾向があるように思われます。

私の第二の考えは、彼が保守的なプログラミング言語に言及しているということです。コルバトーは、1960年代と1970年代に行われた仕事に対してチューリング賞を受賞しました。彼が多くのパンチカードを扱ったことは私の理解です。私はパンチカードを見たことがないので、どのようにプログラムするかわかりませんが、パンチカードのプログラミングは非常にリベラルだと思うかもしれません。型チェック、静的分析などの概念は単に存在しなかったと思います。だから、Corbatóはおそらく開発者が愚かな間違いをするのを制限する言語のアイデアに言及していますか？これも事実ではないようです。安全性チェックとデータモデリングは簡潔さとは関係がありません。それは、彼が「許可しない...関連性のないアイデア」に言及したときに話しているようです。

「制約付きプログラミング言語」とは、言語の目的に関係のないことを行う（簡単な）方法を提供しないものです。

「ダム」、「バカ」、「不正」ではなく、「無関係」であることに注意してください。

これの公正な例はISO / ANSI SQL（SQL-92より前）であるかもしれません。これはクエリ言語で再帰やループなどの多くの手続き型プログラミングアーティファクトを表現する方法がありませんでした。（ただし、現在はそれらを備えており、ベンダーは以前とにかく以前にそれらのカスタム拡張機能を追加しました）。

これは、ドメイン固有の言語の概念に非常によく似ています。@RBarryYoungが指摘したように、これの1つの例はSQL（他のものはHTML、CSSなど）です。

まず、スピーチが行われたときのコンピューティングの時代を理解する必要があります（1990）。また、彼が学術的な聴衆と話していること、そしてMITが彼のホームベースであることを理解してください。

その時代、言語を書くための言語（メタ言語）が話題になりました。Art of the Meta-Objectプロトコルは公開されたばかりで、新しい言語の設計を刺激しています。ただし、このすべての豪華さには代償が伴います。複雑さです。

システムの複雑さを軽減し、これらのシステムをチェックできるようにするために、Zなどのメタ言語がテスト可能な仕様を作成するために登場しました。彼はこれらの種類の言語に言及していると思います。

おそらく彼は、把握する概念の数がかなり少ない言語を意味します。図チェックここで Coffescript、RubyとC ++における概念のグラフィック表現を示します。May be Tunerは、言語の概念が少ないほど、無関係なアイデアを表現する可能性が低くなることを意味します。