#intentional.programming

最初に、問題文―我々のメタファーにおける「クリアテキスト」―を記録することに再び焦点を合わせます。これは言葉のいかなる意味においてもプログラムではありません―対象領域の専門家の、彼らの専門用語や隠語、表記法を用いた、コントリビューションの直接的な記録にすぎません。次に、プログラマーが、問題そのものではなく、記録された問題文を受け取り、それからコードを生成する、エンコーダーのためのコンピューターコードとして、彼らのソフトウェアエンジニアリングの専門知識や意思決定をプログラムできるようにします。これは、ジェネレーティブプログラミングと呼ばれ、私はそれがソフトウェアの未来であると確信します。

A key element in programming is the forming of some intention in the programmer’s mind. By programmer’s intention we mean a desire that something be accomplished. Its emergence is best provoked by a direct question: “What do you really intend here?”.

The Intentional platform can represent domain specific information both at the meta-level (as schemas) and at the content level (as data or rules). It has patterns for distributed interactive documents and for views for a universal surface. When combined with the existing Microsoft technologies and the future technologies that are under development there, the synergies will bring many futuristic scenarios to life.

It is only a slight exaggeration to say that every good comment in a program represents a small failure of the language.

Domain-specific knowledge can not be injected into the compilation process.

Meta-work (i.e. consistent rewriting of a  program) is not expressible in languages even though it comprises a substantial part of programmer’s workload.

IP will delegate the problem of exact type creation to the user by providing for universal computation in the type machinery at compile time.

Directness (simplicity) of expression: At some level, all parts of a program are specific: either they deal with specific facts or they describe a specific abstraction. Directness of expression just means that the units that the programmer thinks of as specific correspond closely to the units of encoding.