（強調鉱山） Covariant redefinition of fields and functions provides no problems, but covariant redefinition of arguments does create a problem that illegal types can be passed as arguments. しかし、フィールドや機能タイプ
エッフェルでは、タイプ「anchored declaration」を指定することができます。クラス内の関連する不変条件もアンカー宣言に適用された場合 私は疑問に思う： class C
feature
f: INTEGER
do
... Do something ...
end
g: like f
do
..
SConsでプロジェクトを更新するための自動ビルドができません。まず、ソースファイル内の何かを変更して、sconsが私に教えてくれます。 scons: done reading SConscript files.
scons: Building targets ...
scons: `.' is up to date.
scons: done building targets.
自動ビル
これは愚かな質問かもしれませんが、私はC＃の初心者です。子クラスで親の属性を直接使用する方法があるのだろうかと思います。私は多くのエッフェルを行い、クラスが1つまたは複数のクラスによって継承されたとき（はい、エッフェルには複数のクラスを継承することができるインターフェースがありません）。ちょうどそのexempleよう ：（エッフェルの関連リンク言語） 親クラス： class Parent
fe