纯函数式语言（如Haskell）中基于Monad的中断实现方案探讨

在依赖Monad封装副作用的纯函数式编程语言中，中断处理的核心难点在于：中断是外界主动作用于程序的操作，而非程序自身发起的副作用，这和Monad擅长处理的"程序主动触发的可控副作用"逻辑天然不符。以下是几种常见思路的分析：

可变数据结构嵌入方案 #

常规的全局状态修改思路在纯函数式环境中行不通——访问全局Monad无法改变实际执行状态。一种尝试是将中断限制在特定作用域内：向中断处理程序传递可变赋值对象，并把中断对应的Monad流程插入到被中断的Monad序列中。但这种写法不仅怪异，在代码可读性和维护性上都难以让人满意。

Channel消息传递方案 #

另一种思路是通过Channel传递中断信号，但存在明显缺陷：只有当程序阻塞在Channel上时，才能即时响应中断；如果单独启动一个线程监听Channel，主线程仍会继续执行当前任务，无法通过消息即时中断正在运行的工作流程。

基于Co-effect与Comonad的猜想 #

由于中断本质是"外界对程序施加的影响"，属于co-effect范畴（区别于程序主动发起的effect），或许可以用Comonad来封装这类逻辑。不过目前对Comonad的应用场景还不够熟悉，这一思路的可行性仍待验证。

内容的提问来源于stack exchange，提问作者Alec You