最初のMLはLISPで作られたっていうけど、
逆に型推論だけLISPやSchemeに持ってこれないものですか？
リスト構造的に全体で使うのは無理だから、
例えば数値→数値の時だけ使うとか。