来自https://hackage.haskell.org/package/vector-0.12.0.1/docs/Data-Vector.html#v:modify
对矢量应用破坏性操作.如果安全的话,操作将在适当的位置执行,否则将修改矢量的副本.
听起来它可能具有截然不同的性能特征,这取决于在适当的位置修改矢量是否被认为是"安全的".这激发了问题......
修改何时进行到位,何时复制向量？有没有办法通过使用类型系统来确保它将被修改到位？
performance haskell functional-programming vector immutability