seen from China
seen from Dominican Republic
seen from United Kingdom
seen from United States
seen from United States
seen from United States
seen from United States
seen from United States
seen from United Kingdom
seen from China
seen from China
seen from Malaysia
seen from Libya
seen from Argentina
seen from United States
seen from United States
seen from Argentina
seen from United States
seen from United States
seen from United States
最初に、問題文―我々のメタファーにおける「クリアテキスト」―を記録することに再び焦点を合わせます。これは言葉のいかなる意味においてもプログラムではありません―対象領域の専門家の、彼らの専門用語や隠語、表記法を用いた、コントリビューションの直接的な記録にすぎません。次に、プログラマーが、問題そのものではなく、記録された問題文を受け取り、それからコードを生成する、エンコーダーのためのコンピューターコードとして、彼らのソフトウェアエンジニアリングの専門知識や意思決定をプログラムできるようにします。これは、ジェネレーティブプログラミングと呼ばれ、私はそれがソフトウェアの未来であると確信します。
Charles Simonyi - 2005 : WHAT DO YOU BELIEVE IS TRUE EVEN THOUGH YOU CANNOT PROVE IT? - Edge.org
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 Death of Computer Languages, The Birth of Intentional Programming - Microsoft Research
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.
Charles Simonyi, Founder, Chairman, and CTO -
It is only a slight exaggeration to say that every good comment in a program represents a small failure of the language.
Charles Simonyi, The Death of Computer Languages, The Birth of Intentional Programming
Domain-specific knowledge can not be injected into the compilation process.
Charles Simonyi, The Death of Computer Languages, The Birth of Intentional Programming
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.
Charles Simonyi, The Death of Computer Languages, The Birth of Intentional Programming
IP will delegate the problem of exact type creation to the user by providing for universal computation in the type machinery at compile time.
Charles Simonyi, The Death of Computer Languages, The Birth of Intentional Programming
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.
Charles Simonyi, The Death of Computer Languages, The Birth of Intentional Programming
