条 条件 件 件（ （ （P os t c on d i t i on ） ） ）。 本节以一些 STrans 函数的小例子开始，看看如何执行它们。我们还介绍了 ST，一个类型级的函数，它 能让我们简明地描述带有状态的函数的状态转移。 对 对 对示 示 示例 例 例进 进 进行 行 行类 类 类型 型 型检 检 检查 查 查 对于本节和整个教程，你需要 import Control.ST 并通过向