実行環境のなかでベストな型を語るためには
他の実行環境でベストと思われる型との比較検討も重要。