関数型に詳しくないから疑問なんだけど、純粋な関数型言語だと配列なんかも全てイミュータブルにするの?
例えば画像の変換みたいなことをしようとするときは、出力先に1画素を書き込むごとに新たな配列を確保する必要があるという感じ?