当 RAII 走出作用域：从编程语言视角读 DSH Cordis

从 RAII、defer 和结构化并发出发，读 DeepSeek Harness 背后的元框架 Cordis：它如何把副作用装进可逆 effect，让插件可以热更新而不拖垮整个系统。