Drip

要素もタグの索引もRBTreeにいれてたけど、要素はいつも末尾に追加されるだけなので並び替えの必要がないからArrayに変えてみた。整数(タグなし)の追加をしてくケースで20%くらい速くなって、メモリは30%くらい減った。たぶんこれが理想状態で、タグをつけたりすると差は縮まるだろうな。