>>665
> Eiffel#ってEiffelと互換性あるのかな？

今は互換性あるよ。
最初は全然だったけど（多重継承できないのが致命的だった）。