Haskell 中向其他线程抛出异常的操作语义
我读过SPJ 的“Tackling the Awkward Squad”论文，其中大部分内容很容易理解，但是我并不完全理解分隔线上方的这两个条件究竟意味着什么：
在论文中指出，它们在这里是为了确保第二个上下文 (E2) 是最大的，即它包括所有活动的捕获。但是我并不完全理解它的意思。这是否意味着如果有catch第二个线程内部就不会抛出异常？但是为什么绑定也在那里呢？
我读过SPJ 的“Tackling the Awkward Squad”论文，其中大部分内容很容易理解，但是我并不完全理解分隔线上方的这两个条件究竟意味着什么：
在论文中指出，它们在这里是为了确保第二个上下文 (E2) 是最大的，即它包括所有活动的捕获。但是我并不完全理解它的意思。这是否意味着如果有catch第二个线程内部就不会抛出异常？但是为什么绑定也在那里呢？