[#18233] [book] blade.nagaokaut.ac.jp/ruby/ruby-list/ — Shin-ichiro Hara <sinara@...>

原です。

21 messages 1999/11/01
[#18239] [book] csv_split2 [Re: blade.nagaokaut.ac.jp/ruby/ruby-list/] — keiju@... (石塚圭樹) 1999/11/01

けいじゅ@日本ラショナルソフトウェアです.

[#18244] Re: [book] csv_split2 [Re: blade.nagaokaut.ac.jp/ruby/ruby-list/] — Shin-ichiro Hara <sinara@...> 1999/11/01

原です。

[#18289] Re: [book] csv_split2 — Koretsugu Daigoro <tmmcross@...> 1999/11/02

これつぐです。

[#18291] Re: [book] csv_split2 — keiju@... (石塚圭樹) 1999/11/02

けいじゅ@日本ラショナルソフトウェアです.

[#18311] Re: [book] csv_split2 — Koretsugu Daigoro <tmmcross@...> 1999/11/02

これつぐです。

[#18338] オブジェクトの非同一性判定 — Ayanosuke <aya@...>

 綾乃介です。

13 messages 1999/11/03

[#18539] [book] $*, etc. — Yasuhiro Fukuma <yasuf@...>

福間@福岡 です。

44 messages 1999/11/11

[#18580] — tokoma@... (中川 誠)

中川です。

44 messages 1999/11/14
[#18619] build on alpha — Go Nakagawa <nakagawa@...> 1999/11/15

もとの質問のかたとは別の中川です。

[#18737] Re: build on alpha — tokoma@... (中川 誠) 1999/11/18

中川です。

[#19144] Re: build on alpha — tokoma@... (中川 誠) 1999/12/04

中川です。長文で失礼します。

[#19341] Re: build on alpha — tokoma@... (中川 誠) 1999/12/09

中川です。

[#19344] Re: build on alpha — matz@... (Yukihiro Matsumoto) 1999/12/09

まつもと ゆきひろです

[#19400] Re: build on alpha — tokoma@... (中川 誠) 1999/12/10

中川です。

[#19426] Re: build on alpha — EGUCHI Osamu <eguchi@...> 1999/12/11

えぐち@エスアンドイー です。

[#19459] Re: build on alpha — tokoma@... (中川 誠) 1999/12/13

中川です。

[#19461] Re: build on alpha — EGUCHI Osamu <eguchi@...> 1999/12/13

えぐち@エスアンドイー です。

[#19506] Re: build on alpha — tokoma@... (中川 誠) 1999/12/14

中川です。

[#19520] Re: build on alpha — EGUCHI Osamu <eguchi@...> 1999/12/15

えぐち@エスアンドイー です。

[#19522] Re: build on alpha — matz@... (Yukihiro Matsumoto) 1999/12/15

まつもと ゆきひろです

[#19543] Re: build on alpha — EGUCHI Osamu <eguchi@...> 1999/12/15

えぐち@エスアンドイー です。

[#19562] Re: build on alpha — tokoma@... (中川 誠) 1999/12/15

中川です。

[#19569] Re: build on alpha — EGUCHI Osamu <eguchi@...> 1999/12/16

えぐち@エスアンドイー です。

[#19592] Re: build on alpha — tokoma@... (中川 誠) 1999/12/16

中川です。

[#18637] constant? — Kazuhiro Yoshida <moriq.kazuhiro@...>

もりきゅうです。

20 messages 1999/11/16
[#18640] Re: constant? — WATANABE Hirofumi <Hirofumi.Watanabe@...> 1999/11/16

わたなべです.

[#18650] Re: constant? — Kazuhiro Yoshida <moriq.kazuhiro@...> 1999/11/16

もりきゅうです。

[#18657] Re: constant? — matz@... (Yukihiro Matsumoto) 1999/11/16

まつもと ゆきひろです

[#18709] ADO にて datetime 型の取得 — Takashi SHIODA <tsio@...>

塩田です。

18 messages 1999/11/18
[#18779] Re: ADO にて datetime 型の取得 — Masaki Suketa<CQN02273@...> 1999/11/20

助田です.

[#18802] Re: ADO にて datetime 型の取得 — Takashi SHIODA <tsio@...> 1999/11/21

オレンジソフト塩田です。

[#18712] Re: header output in eruby — TAKEUCHi Kahori <take-k@...>

たけうちです。

16 messages 1999/11/18
[#18716] Re: header output in eruby — "NAKAMURA, Hiroshi" <nakahiro@...> 1999/11/18

なひです.

[#18830] mod_ruby-0.1.4 — TAKAHASHI Masayoshi <maki@...>

高橋征義です。

16 messages 1999/11/22

[#18853] initializer polymorphism? — Takeyuki Watadani <watadani@...>

渡谷といいます。

25 messages 1999/11/23

[#18911] Re: eRuby 変換後の無駄 (?) な改行 — TAKEUCHi Kahori <take-k@...>

たけうちです。

14 messages 1999/11/25

[#18914] Ruby standard GUI framework? — Hideto ISHIBASHI <s34204@...>

石橋秀仁です。

43 messages 1999/11/25
[#18975] Re: Ruby standard GUI framework? — 中村暁史 Nakamura Akifumi <BXQ04723@...> 1999/11/27

[#19020] Re: Ruby standard GUI framework? — Hideto ISHIBASHI <s34204@...> 1999/11/29

石橋秀仁です。

[#19026] Re: Ruby standard GUI framework? — Noritsugu Nakamura <nnakamur@...> 1999/11/29

[#19081] Re: Ruby standard GUI framework? — "Hideaki Takata" <hideakit@...3.dion.ne.jp> 1999/12/01

たかたです。

[#19092] Re: Ruby standard GUI framework? — Noritsugu Nakamura <nnakamur@...> 1999/12/01

[#19112] Re: Ruby standard GUI framework? — 中村暁史 Nakamura Akifumi <BXQ04723@...> 1999/12/02

[#19131] Re: Ruby standard GUI framework? — Noritsugu Nakamura <nnakamur@...> 1999/12/03

[#18948] 他言語との比較 — とみたまさひろ <tommy@...>

とみたです。

18 messages 1999/11/26

[ruby-list:18575] Re: 変数の型チェック

From: kjana@... (YANAGAWA Kazuhisa)
Date: 1999-11-13 16:39:52 UTC
List: ruby-list #18575
In message <005b01bf2db9$c31ed280$4f788dd2@prealife>
hideakit@d3.dion.ne.jp writes:

> > UMLは基本的に静的型の言語だと思います。ですから、UMLで設計すれば、
> > こういう問題は出て来ないと思います。
> 
> 申し訳ありませんが、ちょっと良く分かりません。UMLって、型のあるなし
> など言語の実装にはあまり関係ない部分の設計に使う気がします。

    「実装言語が何であろうが,UML 自体は静的な型をもつ ``言語'' である」

ということで,どちらの言い分も矛盾しないような.もっとも UML は全然し
らないんでそもそもこの前提が間違ってるかもしれませんが.

# そもそも UML でいうところの設計というのはどのレベルまでの事なのか?


> 要するに、例外的なケースに対しての処理を忘れているだけなのですが、こ
> ういうばかばかしいミスがその瞬間には分からず、だいぶ後になって発覚す
> ることは、僕のような粗忽な野郎でなくても起こるような気がします。

で,そのようなミスが発覚した場合にそそくさと修正して再実行できる,とい
うのがスクリプト言語の利点なわけで.

# 実際ちょっとしたデータ処理スクリプトを書くと,たいてい nil との演算
# で例外をだされているわたしのような者もいるわけで :-P


実行時に例外が発生してプログラムが落ちる,というのが大きな問題になるよ
うな事がそうあるわけではない.と.落ちたらそこで改めてプログラムの動作
を検討すれば良い.別にそんなに致命的な事になるわけでも無し.

そういうレベルを越えたプログラムであるならちゃんと設計をしましょう,と.


> 変数の型が想定している型と違っているのにそれに気がつくのが遅れること
> がある、という問題を避けるためにはUMLで設計したということだけでは、
> 不十分だと思うのですが。

静的な型をもつ ``言語'' できちんと設計をすれば,実行時にパラメータの型
が合わないという事はありえない,という話だと思いました.UML が静的な型
をもつ,という前提の上でですけど.まあ,なんだったら別の静的な型をもつ
「設計言語」を利用すれば言い訳です.

# たとえば Hash を引く場合に key が存在している事を保証する,といった
# 事も設計に入るから.コーディングミスについてはどうしようもありません
# が.


「静的な型をもつ実行可能な仕様記述言語」なんてのもあちこちにある事です
し,設計段階で穴を埋めてしまう,というアプローチがありえるわけです.

もちろん静的な型をもつ ruby に似た言語.... sapphire とでもいっておきま
しょうか,そんなのがあっても良いかもしれない,というのは否定しません.
たまに型チェックが欲しくなるのも事実.まあわたしが書くレベルのスクリプ
トだとまずないんですけど :-)

# ruby の青いのって sapphire でいいんだっけ?


-- 
柳川和久 @ 東大阪市 . 大阪府                              November 13, 1999
Out of frying-pan, into the fire.

In This Thread