Conversation

純粋関数型言語 + 借用

よく解らないけれど、思い付きで言えば、借用じゃなくて所有権を渡しっぱなしにする必要がある気がする。

借用だと所有権が返って来る。
返って来た時に値が変わっていると、純粋関数型としてはマズいと思うので、配列のような渡した先で変化する物は結局渡せない。

もうこっちでは使いませんって事で所有権を渡してしまって、渡した先で変化させられた物は別の物という扱いで返してもらう必要があるんじゃないかな。