Avatar
あと、そもそも Actor 経由になって処理の度に async/await を挟むと、 find の途中で await の度に results が変更されている可能性が存在するので、データ不整合の意味でも厳しいかもしれませんね。
3:58 AM
resultsappend されるだけでなくデータを書き換えられることはありますか? append されるだけならイミュータブルな(でも前方に要素追加は可能な)連結リストを使えばコピー不要にできるかもしれません。
3:59 AM
あ、だめか。 Dictionary か。