Futhark 作者复盘了一个被自己标记为「容易修」的 issue，如何演变成对语言最早一批设计选择的重新审视。问题根源是 Futhark 最不寻常的类型系统特性——原地更新：表达式 A with [i] = v 在语义上是一份拷贝，但代价模型保证成本只相当于写一个元素，实现就是直接对 A 所在的内存做破坏性写入。要保证这次写入永远不会被观察到，类型检查器必须确保 A 的旧值及其所有别名此后都不再被引用。作者发现修补这个几乎算打字错误的问题会以非平凡的方式破坏既有代码，顺藤摸瓜还牵出另一个相关问题，结论是除非有充分理由，不要打这场仗。