seen from China
seen from Malaysia
seen from United States
seen from Netherlands
seen from Netherlands
seen from Türkiye
seen from France
seen from China
seen from United States
seen from Malaysia
seen from China
seen from China
seen from Ireland
seen from China
seen from Malaysia
seen from Ireland
seen from Malaysia
seen from Kazakhstan
seen from China
seen from United States
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
IP is currently under development at Microsoft Research. Several US Patents have been applied for, covering various aspects of the system. The system achieved complete self-sufficiency March 1, 1995, and since then all further development of IP has been performed in IP itself. The size of the system as of September 1995 was about 1.7M …
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
The purpose of a language is to encode the programmer's contributions: ...The program is, or should be, simply a representation of what only the programmer could have known; nothing more, nothing less.
Charles Simonyi, The Death of Computer Languages, The Birth of Intentional Programming
