Avatar
Kishikawa Katsumi 6/19/2020 2:28 AM
標準ライブラリをモジュールに分けて必要なものだけ、とするとそういう場合だいたい外したいのはStringとかLocaleとかだったりすると仮定すると、どのライブラリを利用しているかでソートの結果とかも変わってしまう、みたいなことになるのかな。
2:30 AM
みたいなことを考えると、最適化でがんばって枝を払う方が良い結果になるのかもしれない。