From: matz@... (Yukihiro Matsumoto)
Date: 1998-10-27T15:50:48+09:00
Subject: [ruby-list:10357] Re: 大規模プログラムの友 (Re: for  が修飾子だったら )

まつもと ゆきひろです

In message "[ruby-list:10315] Re: 大規模プログラムの友 (Re: for  が修飾子だったら )"
    on 98/10/24, Hiroshi Igarashi <igarashi@ueda.info.waseda.ac.jp> writes:

|五十嵐＠早大です。

|理想を言えば、MLの型推論のように処理系が推論してくれれば
|嬉しいのですが、おそらくRubyのような言語だと無理でしょうね。
|クラスやメソッドの再定義などを禁じたRubyのサブセットみたいな
|言語ではできそうな気がしますが。やっぱり無理かな？

現状のRubyの文法ではおそらく無理でしょうね．型はコンパイル時
の有力な最適化情報になるんで，あるのはありがたいんですけどね．
MLの型推論の仕組みは良く分からないのですが，もしかしたらRuby
類似の文法を持つ言語にも適用可能なものがあるのでしょうか．

                                まつもと ゆきひろ /:|)