不可变削弱并发

并发问题大多源自可变状态：多个执行流共享并修改同一数据时，时序就会变成隐形依赖。函数式编程通过不可变数据减少这种依赖。发散：在高并发系统里，能用不可变值、事件日志或状态快照表达的问题，就少了一类锁和竞态的复杂性。