まつもと ゆきひろです
In message "[ruby-list:7468] Re: subscribe for ruby-list"
on 98/04/15, Keiju ISHITSUKA <keiju / rational.com> writes:
|けいじゅ@日本ラショナルソフトウェアです.
|まず, できないものから. 型チェックは根本的に無理ですね. rubyには静的な
|型というものがありませんから...
MLのように明示的に型を記述しないが推論するってのはきれいなん
ですが,違う言語になっちゃうでしょうね.それにMLでも結構明示
的な型表示って出て来るみたいだし.
goferとかなら違うんだろうか.