Eiffel: 一歩進んだ入門

イントロダクション

ようこそ、Eiffel へ

　Eiffel は、高品質で信頼性のあるソフトウェアを生み出すことを明示的に意識して設計された、純粋なオブジェクト指向のプログラミング言語です。その純粋さが生まれつきであるのは、あらゆる実体が明示的に記されたクラスの型で宣言されたオブジェクトである、という点です。それは、Modula-2 のような言語を成功した工学的前進にした、長期間証明され試験されてきた、いくつものプログラミング上の実践<practise>に強く基づいています。

　Eiffel は、これまでずっと改善されてきたオブジェクト指向の実践<proctice>についての、より良い理解とより重要で効果的な使用へ向かう、次のステップとなることを約束します。この文書は、読者を、Eiffel の概念と、その往々にしてユニークな言語要素へのアプローチとへ精通させることを意図しています。これは、オブジェクト指向のプログラミング パラダイムへの一般的な紹介となるようには意図されていません。プログラミング（手続き型、オブジェクト指向／手続きの混成型、あるいは純粋なオブジェクト指向型）に精通していることは、とても役立ちます。というのも、提供される素材が、ある特定の概念について、これを読む前に読者が自分で理解しておかなければならない形式になっているからです。

　滞ることなく、私たちは、Eiffel プログラミング言語を提示します。