我理解重点不是immutable，而是业务流水线上每一个不同的可区分的业务状态都用类型来区分。哪怕数据本身过了一个处理环节之后没发生变化，但所处环节位置变了，也是不同类型。如果修改数据只是变化了数据本身，并不改变其业务逻辑中的位置，那类型也不变。这两种情况也是常见的

但确实和immutable的表现有点相似，所以也可以理解为什么这是从functional社区里发展出来的做法。

【 在 gfkid 的大作中提到: 】
: 老实说 当看到你给出的解法的时候 我理解是 用类型实现immutable data的效果
: 所以是否要在每一次修改数据的时候，给出一个有意义的类型来约束呢，对程序员来说，这是一个负担
: 但是对AI来说是否就容易很多，也许只需要用恰当的prompt告诉AI，在每一次修改数据的时候绑定一个新的有业务含义的类型，以此增加鲁棒性
: ...................
--
FROM 123.120.171.*