The Ruby Type Checker
型推論じゃなくて型検査。
プログラムにあらかじめ型注釈を付けておいて、メソッド呼び出しのタイミングで引数の型と返り値の型を実行時に検査する。
ブロックに型が付けられたり、パラメトリック多相があったりするのは進展かも。
Rubyのプログラムの中にそのまま書くからプログラムの解析器を実装しないで済むし、動的に検査するからevalとかで悩まないのが利点、とのこと。
nekketsuuu.icon でも実行時の検査なので、型検査自体の旨みは割と小さくなっている気がする……。