類型化というのは、有れば学習効率が上がるメリットは有るけど、無ければ無いでクリティカルなものでは無いかなと