>>319
> それってSMLとかOCamlとかHaskellにも当てはまるの？
当てはまるんじゃね？

その言語の汎用ライブラリでも調べればわかるでしょ？
使い方を限定することが出来ないライブラリだと
そのシグネチャに型を書いていないと当然推論さえも出来ない。