トップページ⇒tech
281コメント72KB

オブジェクト指向言語Eiffelを学ぶ

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさんNGNG
多重継承と総称をサポートする言語Eiffelを学ぼう！

http://www.gembook.jp/html/moin/moin.cgi/EiffelLanguage

class HELLO create make
feature
　　make is
　　　　do
　　　　　　print("Hello World%N")
　　　　end
end
0002デフォルトの名無しさんNGNG
Eiffelとsatharってどっちが先なの
0003デフォルトの名無しさんNGNG
>>2
Eiffel - 1985年頃
Sather - 1990年頃
0004デフォルトの名無しさんNGNG
ありがとう。まさかレスもらえるとは……
0005デフォルトの名無しさんNGNG
意味不明なコード。

class FOO
feature
　　a: INTEGER
end

class BAR
inherit FOO FOO FOO FOO
end
0006 ◆KZzSjq56 NGNG
_
0007デフォルトの名無しさんNGNG
俺も興味あるんで age

>>1
頑張ってくれ。
0008デフォルトの名無しさんNGNG
Eiffel#には興味がある。
0009デフォルトの名無しさんNGNG
Eiffel# って何？
.NET のやつ？
0010デフォルトの名無しさんNGNG
>>9
そう。それ。
00111NGNG
>>8 >>9
Eiffel#はCLRの都合上、多重継承や総称やデリゲートなどが
使えないので、できればEiffel#は外したい。
0012デフォルトの名無しさんNGNG
5はエラーにならないよ。
0013デフォルトの名無しさんNGNG
どっかにエラーになるって書いてあった？
0014デフォルトの名無しさんNGNG
アイフェルってCやJavaのバイトコード出力するんでしょ？
0015デフォルトの名無しさんNGNG
アイフェルって読むの？
C や Java のバイトコードって何？
0016デフォルトの名無しさんNGNG
あ、

C
Java のバイトコード

ってことか。
001712NGNG
>>13
C++な人のため(w
00181NGNG
>>14
出力します。
>>15
アイフェルって読むらしいです。
0019デフォルトの名無しさんNGNG
エッフェルじゃないのか、と書いてみるテスト。
0020デフォルトの名無しさんNGNG
(ΦωΦ)ﾌﾌﾌ･･･
0021デフォルトの名無しさんNGNG
そうそう。Machは「マッハ」だよな。
0022デフォルトの名無しさんNGNG
合体！

class BASE1
feature
　　foo is do print("BASE1%N") end
end

class BASE2
feature
　　foo is do print("BASE2%N") end
end

class DERIVE
inherit
　　BASE1 rename foo as foo1 end
　　BASE2 rename foo as foo2 end
end
0023デフォルトの名無しさんNGNG
名前に関しては
ttp://www.geocities.co.jp/SiliconValley/8632/
の「はじめてのエッフェル」を参照すれば良いかと
0024デフォルトの名無しさんNGNG
C++の多重継承やJavaのinterfaceよりEiffelの多重継承はスゴイ！
0025デフォルトの名無しさんNGNG
アイフルです。
0026デフォルトの名無しさんNGNG
Eiffel の表明や総称は Java に受け継がれたな。
早すぎる言語だったということか。
0027デフォルトの名無しさんNGNG
僕のティンコはエッフェル塔
0028デフォルトの名無しさんNGNG
表明って何？
総称はまだベータでしょ
0029デフォルトの名無しさんNGNG
>>26
Javaの表明は Design by Contract とはいえない。
0030デフォルトの名無しさんNGNG
>表明って何？
http://www.geocities.co.jp/SiliconValley/8632/BOOK.maker.html
0031デフォルトの名無しさんNGNG
assertionのことだったら、まだjavaで正式に採用されてないんじゃ。
0032デフォルトの名無しさんNGNG
1.4
003330NGNG
>>31
Java 2 SDK 1.4 の提供が開始された。
0034デフォルトの名無しさんNGNG
Eiffelマンセーっているの？
Haskellマンセーとどっちが多いの？
0035デフォルトの名無しさんNGNG
Eiffelは所詮オブジェクト指向言語
関数型のHaskellとは比較できるもんじゃない
0036デフォルトの名無しさんNGNG
言語の比較してるわけじゃないだろ。
00371NGNG
やっぱり下がってるのか〜

Eiffelに興味ある人って少ないんだね。
Eiffel#は外したいなんて書かなければよかった。>>8さん ゴメン。

Eiffel#は多重継承や総称やデリゲートがないのが残念だけど、
表明のあるC#として使うといいのかなあ。

Java 1.4 の表明はなんか中途半端。

C#のinterfaceはEiffel#ではどういう構文になっているのだろう？

Eiffelの多重継承は
JavaやC#のinterfaceより便利だと思うんだけどなあ。
0038_　NGNG
確かに親クラスのラベルを変更して継承できるのは凄そう。
多重継承も簡単にできそうだし。
表明も便利っぽい。あまり神経質にやると面倒臭そうだけど。

.netで開発するならEiffel#を主力にしたいな。python#でもいいけど。

でもsatherの方が好きです・・・
0039デフォルトの名無しさんNGNG
>>38
こういう発言を見ると.NETがもたらす物って実はとても大きいのかもしれないと思えてくるな
00401NGNG
>>38
python#も多重継承できないの？

他の .NET対応の言語はどれくらい標準と違うのかな〜？
004138NGNG
>>40
ちょっと分からない。スマソ。でもJPythonができるところを見ると
できるように作るんじゃないかな？
でもpythonはパフォーマンスの問題がありそう。
(GCは自前管理だって）
JPythonも生Javaよりちょっと遅いし。
Eiffelみたいな静的言語はそんなことないだろうから、やっぱEiffelだな。
0042デフォルトの名無しさんNGNG
インストールの仕方とか、そういうのがアホでも解るように書かれてると
よいかな。

あと、他の言語との差異とかね。
00431NGNG
http://www.microsoft.com/japan/msdn/net/general/pdc_eiffel.asp から引用。

>CLR は単一継承のみをサポートするように設計されたので、
>最も挑戦的なことは多重継承のサポートです。
>Eiffel# は、CLR を使用する必要があるので、
>.NET Framework オブジェクト モデルに従う必要があります。

>そのため有効なクラス、または部分遅延クラスの多重継承を不可能にしています。

>ただし、純粋遅延クラスの多重継承は可能です。
>この場合、クラスはインターフェイスとして生成されます。
>部分遅延クラスまたは有効な親クラスがある場合は、それらはベース型になります。

>>41
python#も多重継承をサポートするのは難しいと思う。

JPython が多重継承できるのは
Eiffelが Java バイトコードを出力できるのと同じなんじゃないかなあ。

言語非依存にしなければ .NET Framework でも多重継承できると思うんだけど、
そうすると .NET Framework に対応するメリットがあまりないような…
0044_NGNG
>>43
他言語のクラスを継承できるのがウリの一つだもんね。
マイナー言語ファンにはいい時代になた。
0045デフォルトの名無しさんNGNG
and then とか、implies とかなに？
00461NGNG
>>42
おれは SmallEiffelというフリーのコンパイラを使っています。
1.3MBとサイズが小さいので気軽にダウンロードできます。
インストールの仕方は
http://www6.plala.or.jp/sEiffel/se_install.html
http://www.alles.or.jp/~corey/eiffel2/smalleiffel.htm
を参照してください。

本格的なコンパイラがほしい人には本家 ISE Eiffel があります。
サイズは50MBです。 http://www.eiffel.com/

他の言語との差異は多くあります。いくつかあげると
●表明に基づいた例外処理
●柔軟な多重継承
●制約された総称
などがあります。

>>45
> and then とか、implies とかなに？

(A and B) は Aが偽のときもBは評価されるが、
(A and then B) は Aが偽のときはBは評価されない。

(A or B) は Aが真のときもBは評価されるが、
(A or else B) は Aが真のときはBは評価されない。

(A implies B) は Aが真であり Bも真のとき真になる。
Aが偽のときは真になる。(Bは評価されない)
0047デフォルトの名無しさんNGNG
SmallEiffelのサンプルにあるio.put_stringみたいな
関数(ルーチン？)の詳しい情報ってどこにあるの？
0048デフォルトの名無しさんNGNG
eiffelの実装詳細が知りたい。
多重継承が容易でfeatureには全てo(1)ででアクセスできるというが
クラスの構造、または呼び出し方法はどうなっているのだろう。
C++と同じvtbl式ではないよね
00491NGNG
>>48
参考になるかも…
http://www.geocities.co.jp/SiliconValley/8632/EiffelFAQ.html
0050デフォルトの名無しさんNGNG
EIFFEL FAQ の質問の先頭にある 4 文字英字は何を意味してるの？

QEIF アイフルって何ですか?
~~~~~
005150NGNG
スマソ。読んですぐ分かった。
00521NGNG
>>47
探してみたけど見つけられなかった。
ホント、どこにあるんだろう？
0053デフォルトの名無しさんNGNG
>>47
ここはどう？
http://smalleiffel.loria.fr/libraries/classes.html
0054デフォルトの名無しさんNGNG
なんでこんな化石言語のスレなんてあるんですか？
業務で使ってる人いるの？
00551NGNG
>>54
> なんでこんな化石言語のスレなんてあるんですか？

Eiffel関係の翻訳本を読んで興味を持ったから。

●オブジェクト指向言語のはなし　2000年 日本語版発売
●契約とデザインパターン　2001年 日本語版発売

Eiffelのバイブルともいえる OOSC2も酒匂さんが翻訳中。

> 業務で使ってる人いるの？

海外では使われているんじゃないかなあ。
でないと、こんなマジな開発環境をつくらないと思う。
http://www.eiffel.com/products/studio51/feature_matrix.html
http://www.eiffel.com/doc/online/eiffel50/intro/studio/
0056デフォルトの名無しさんNGNG
Eiffelでプログラムを書くのに必要な知識にはどんなものがあるんでしょう？
Eiffel自体以外にも、ACEって言う言語も必要なんですか？
00571NGNG
ACE用の言語が LACE です。
LACE は Ｃ言語の makefile みたいなものです。
ソースのある場所やコンパイラ・オプションを指定します。
00581NGNG
訂正

●デザインパターンと契約　2001年 日本語版発売

ACE は Ｃ言語の make みたいなものです。
005956NGNG
なるほど。ありがとうございます。
0060デフォルトの名無しさんNGNG
ensure節に
ensure
___事後条件1
___事後条件2
とした時、事後条件1か2かによってrescue節での
処理を分けたい場合はどうすればいいわけ？
それともそんな時は処理自体を分割しろって事？
0061デフォルトの名無しさんNGNG
私の中では Eiffel->吉田弘一郎 って連想してしまう
0062デフォルトの名無しさんNGNG
>>60
（手元にはASCIIのEiffel本しかないので情報が古いかもしれないが。）

事後条件はラベル（タグ）が付けられる以外は
基本的に単なる「一個の論理式」だからなぁ。
（";"はラベルに関すること以外は"and"と同等）
そのラベルはエラーメッセージとかで処理系は利用してるけど、
rescue節で利用できるかというと……。
ま、論理式に副作用がなければ、rescue内で
どの事後条件が原因だったかをつきとめる再テストは可能。

副作用があったり、処理が重かったり、あるいは再試行も含めて考えると
処理がどういう進捗状況かを表す状態変数をもっておくのかなぁ。

再試行を含め事後処理は呼び出し側に任せるJavaのアプローチなら
適宜例外オブジェクトを投げるところだが……。
0063デフォルトの名無しさんNGNG
たまにage
0064デフォルトの名無しさんNGNG
Eiffelってよく知らんけどさ、.NET対応でEiffel#になりました。
しかしEiffelのユニークな機能は失われました。って、
これってなんかおかしくない？
.NETの前では、言語の違いなんて唯の上っ面の違いでしかないと
言ってるようなもんだな。
0065デフォルトの名無しさんNGNG

Eiffelの多重継承は最強！
0066デフォルトの名無しさんNGNG
Satherを勉強中なんだけど、このスレで質問しちゃっていい？
0067デフォルトの名無しさんNGNG
Eiffel#の必要性ってあるの？
つーか、Eiffel#って何に使うの？
0068デフォルトの名無しさんNGNG
まー、どんな言語も機械語列に落ちるわけだからある意味上っ面なんだが。
0069デフォルトの名無しさんNGNG
知らない人が見たらEiffelの多重継承ってどう思うのかなあ？

class FOO
inherit
　　BAR
　　　　rename ...
　　　　export ...
　　　　undefine ...
　　　　redefin ...
　　　　select ...
　　　　end
　　BAZ
　　　　rename ...
　　　　export ...
　　　　undefine ...
　　　　redefin ...
　　　　select ...
　　　　end
feature
　　...
end
0070訂正NGNG
知らない人が見たらEiffelの多重継承ってどう思うのかなあ？

class FOO
inherit
　　BAR
　　　　rename ...
　　　　export ...
　　　　undefine ...
　　　　redefine　-- オーバーライド
　　　　select ...
　　　　end
　　BAZ
　　　　rename ...
　　　　export ...
　　　　undefine ...
　　　　redefine ...
　　　　select ...
　　　　end
feature
　　...
end
0071デフォルトの名無しさんNGNG
>>70
...が無いとオーバーライド。覚えた。俺の貴重な脳の空き容量に焼き付けた。
貴重だから1バイト5000円だ。お前がウソ書いてたら請求する。
0072デフォルトの名無しさんNGNG

■ Eiffelの多重継承 ■

class FOO
inherit
　　BAR
　　　　rename ...
　　　　export ...
　　　　undefine ...
　　　　redefine ...
　　　　select ...
　　　　end
　　BAZ
　　　　rename ...
　　　　export ...
　　　　undefine ...
　　　　redefine ...
　　　　select ...
　　　　end
feature
　　...
end
0073デフォルトの名無しさんNGNG
>>72
undefineだけはなぁ。

継承を部分型だと考える場合、
代数的な意味でインターフェースの型が変わっちゃって
部分型じゃなくなるから静的な型付けに問題が。
他はまぁ単に略記／シンタクティック・シュガーだけど。
0074デフォルトの名無しさんNGNG
>>73
Eiffelは表明が継承されるので
代数的な意味が変わるときは undefineを避けられる。
0075デフォルトの名無しさんNGNG
Eiffel#ってなくなりそうな感じ。
0076デフォルトの名無しさんNGNG
effelってあれかhaskiiみたいなそうじゃないような言語
0077デフォルトの名無しさんNGNG
>>76
全然違う。
007876NGNG
ごめんなさい出直してきます(　つД｀)
007977NGNG
>>78
Eiffelは表明と多重継承と総称とデリゲートをサポートするＯＯ言語です。
0080　NGNG
総称ってなんですか？
0081デフォルトの名無しさんNGNG
Generics
template
008276NGNG
確か風の便りによるとC++より仕様がデカイって聞きましたが・・・
008377NGNG
小さい。
C++より仕様がデカイ言語ってほとんどないと思う。
0084デフォルトの名無しさんNGNG
AdaとCommonLispはデカイよ
008577NGNG
CommonLispは確かにデカイ。
Adaもデカイと思うけどC++ほど複雑じゃない。
0086デフォルトの名無しさんNGNG
CommonLispのデカサは、ほとんど標準ライブラリのでかさ。
ちょうど、Java2のコアAPIが、言語仕様に含まれている感じ。

CommonLispのコアは ISO Lispかな？(単なる当て推量)

ところで Eiffel、歴史的にはなかなか興味深い言語でありますが、
今現役で使ってる人居るの？
0087デフォルトの名無しさんNGNG
情数研はもう使ってないのかな？
008877NGNG
>>86
知らなかった。 それならCommonLisp使ってみようかなあ。

Eiffelは本当に興味深い。
Eiffelの多重継承を知って衝撃を受けた。
Design by Contract やデッドロックにならないマルチスレッドにも驚いた。
でもメジャーにはならないんだろうなあ。
せめてSmalltalkぐらい広まって欲しい
0089デフォルトの名無しさんNGNG
Win32(非.NET)用のコンパイラ制作してる会社知ってるけど
まだ未発表だから名前出したら怒られるかも。
一応RAD環境なので、まぁ良ければファンが付くんじゃないかと。
0090デフォルトの名無しさんNGNG
ISE Eiffel で十分だと思う。
0091デフォルトの名無しさんNGNG
>>82
同感。
0092デフォルトの名無しさんNGNG
>>89
それってフリー？

>>91
言語仕様のデカさって何で決めるの？
俺は予約語と演算子の数だと思うんだけど…
0093デフォルトの名無しさんNGNG
予約語なんて言ったら、C++は使い回しのオンパレードじゃん。
tryだって普通のtryの他に関数tryブロックとか、
おなじみのstaticとか、C++の場合はconstとか。
0094デフォルトの名無しさんNGNG
標準ライブラリは、でかさの中に入るんだろうか･･･
009592NGNG
言語のでかさの議論は無意味ということで(w
0096デフォルトの名無しさんNGNG
>>95
論拠を述べろ。
009792NGNG
>>96
たとえばSmalltalkの言語機能は小さいけど
ライブラリを含むとSmalltalkは大きな言語になる。

ライブラリを含むかどうかで見方が変わってくる。
0098デフォルトの名無しさんNGNG
つか、大きさを測ったところで、その先の議論が無い気がする…
0099デフォルトの名無しさんNGNG
>>98
・学習の困難さ。
・処理系の複雑さ、必要資源量

の話になるんじゃないのすか？

どうやってそれらを評価するかはそれ自身問題だけど。
（特に前者。）
0100デフォルトの名無しさんNGNG
あげ。
0101_NGNG
複雑さはともかくC++程落とし穴の多い言語はないと思うな・・・
EiffelがC風味文法でCっぽいシャレた名前だったら
きっとこっちが使われてたと思う。。。
■ このスレッドは過去ログ倉庫に格納されています