>>427
そんなもんschemeとかMLの仕様書を見てみりゃわかるし、
linear typeとか最近の型理論が関数型を前提としてるものが多い
ことを考えればわかるでしょう？