型無し派はMLやHaskellの型はどうよ？
型推論を利用して、多相型を扱うことによって型無し言語のように
簡単に多態が実現できるという代物らしいが？
それと、Perl6の型無し変数と型あり変数を両方許すってやつはどうよ？
以上のようなシステムが出てくると、型無しの優れてる点は全く
なくなるんじゃないか？
>>605
コンパイル時または、コンパイル直後に一番最初の処理として、
型チェック出来なきゃ意味が無い。
それは自分のソースを直接データとして扱えない限り無理だから
Rubyでは不可能なはず。