JavaとC++のどちらも引数の型をcontravariantにしてオーバーライドすることはできないためList30はコンパイル・エラーとなってしまう。 これはたまにTigerでサポートされているものと思って書いてみて あれ？なんで？って思っちゃいます。 引数の型を反変に…

(via niche diary) Eiffel#と来たか。。。> MS

メモ。

SmalEiffel は、広範囲のプラットフォームで利用可能な、小さくて非常に高速なフリーな Eiffel コンパイラですが、完全であることを意図しています。Eiffel の C 言語へのコンパイラ、Eiffel の Java バイトコードへのコンパイラ、文書化ツール、整形印刷を…