こういうことじゃないかと思う

・型推論は型検査じゃない派 --> 目的と結果を分けて考えよう
・型推論は型検査じゃない派 --> 目的と結果をを混同してもええやないけ

ここで、
・型推論の目的：型の整合性の検証(型が無矛盾であることの証明), >>318から引用
・型推論の結果：型検査および型宣言の省略化

自分は型推論は型検査じゃない派だな