41、并发编程与语法抽象：Haskell与Scheme的探索

并发编程与语法抽象：Haskell与Scheme的探索

1. Haskell中的并发编程

1.1 类型选择

在Haskell编程里，部分Group和Gate操作被赋予了IO类型（像newGroup、joinGroup），还有一些则是STM类型（如newGate、awaitGroup）。以newGroup为例，它具有IO类型，意味着无法在STM操作里调用它。不过这只是为了方便，若在定义时去掉atomically，它也能有STM类型，但这样调用时就得写成atomically (newGroup n) ，而非简单的newGroup n。赋予newGate STM类型的好处是它更具可组合性，而在这个程序里newGroup并不需要这种特性。因为想在newGroup里调用newGate，所以给了newGate STM类型。

一般而言，设计库时应尽可能让函数具有STM类型。STM操作就像乐高积木，能通过do {…}、retry和orElse组合成更大的STM操作。但一旦用atomically包装一个代码块使其成为IO类型，就无法再与其他操作进行原子组合了，因为IO类型的值可能会执行不可撤销的输入/输出操作。所以，尽可能导出STM操作是很好的库设计方式，因为它们可组合，且其类型表明没有不可撤销的效果。库用户能轻松地从STM转到IO（使用atomically），但反之则不行。

不过，有时必须使用IO操作。例如operateGate，两次对atomically的调用不能合并为一次，因为第一次有外部可见的副作用（打开门），第二次则会阻塞直到所有精灵醒来并通过门，所以operateGate必须是IO类型。

1.2 主程序实现

主程序的外