>>762
馬鹿だなあ。
型システムの話をするのに処理系が無関係だなんて、どこまでドカタなんだ？
型推論、静的型検査、動的型検査、どれを取っても処理系とは切り離せないぞ。