Avatar
omochimetaru 9/25/2019 5:11 AM
ああ、Shited型を作るんじゃなくてassociatedtypeにするとStringから直接Stringが得られるって事か。
5:11 AM
でもStringを再構成よりインデックスだけずらしてるラッパーの方が動作は軽そう。
5:13 AM
ShitedがCollectionだと思うんで、 String(Shifted(str, ...)) で明示的に再構成すれば良い気もします。