6.3. 对单子转换器排序
在使用单子转换器栈组成单子时，必须注意单子转换器的分层顺序。 同一组转换器的不同排列顺序会产生不同的单子。
这个版本的 countLetters 和之前的版本一样，只是它使用类型类来描述可用的作用集，而不是提供一个具体的单子：
def countLetters [Monad m] [MonadState LetterCounts m] [MonadExcept Err m]
(str : String) : m Unit :=
let rec loop (chars : List Char) := do
match chars with
| [] => pure ()
| c :: cs =>
if c.isAlpha then
if vowels.contains c then
modify fun st => {st with vowels := st.vowels + 1}
else if consonants.contains c then
modify fun st => {st with consonants := st.consonants + 1}
else -- modified or non-English letter
pure ()
else throw (.notALetter c)
loop cs
loop str.toList状态和异常单子转换器可以两种不同的顺序组合，每种组合都会产生一个同时拥有这两种类型实例的单子：
abbrev M1 := StateT LetterCounts (ExceptT Err Id)
abbrev M2 := ExceptT Err (StateT LetterCounts Id)当程序运行接受没有抛出异常的输入时，这两个单子都会产生类似的结果：
#eval countLetters (m := M1) "hello" ⟨0, 0⟩#eval countLetters (m := M2) "hello" ⟨0, 0⟩
然而，这些返回值之间有一个微妙的区别。
对于 M1，最外层的构造函数是 Except.ok，它包含单元构造函数与最终状态的元组。
对于 M2，最外层的构造函数是一个元组，其中包含只应用于单元构造函数的 Except.ok。
最终状态在 Except.ok 之外。
在这两种情况下，程序都会返回元音和辅音的数目。
另一方面，当字符串导致抛出异常时，只有一个单子会产生元音和辅音的计数。
使用 M1，只会返回一个异常值：
#eval countLetters (m := M1) "hello!" ⟨0, 0⟩
使用 M2 时，异常值与抛出异常时的状态配对：
#eval countLetters (m := M2) "hello!" ⟨0, 0⟩
我们可能会认为 M2 比 M1 更优越，因为它提供了更多在调试时可能有用的信息。
同样的程序在 M1 中计算出的答案可能与在 M2 中计算出的答案 不同 ，没有原则性的理由说其中一个答案一定比另一个好。
在程序中增加一个处理异常的步骤，就可以看到这一点：
def countWithFallback
[Monad m] [MonadState LetterCounts m] [MonadExcept Err m]
(str : String) : m Unit :=
try
countLetters str
catch _ =>
countLetters "Fallback"
该程序总会成功，但成功的结果可能不同。
如果没有抛出异常，则结果与 countLetters 相同：
#eval countWithFallback (m := M1) "hello" ⟨0, 0⟩#eval countWithFallback (m := M2) "hello" ⟨0, 0⟩
但是，如果异常被抛出并捕获，那么最终状态就会截然不同。
对于 M1，最终状态只包含来自 "Fallback" 的字母计数：
#eval countWithFallback (m := M1) "hello!" ⟨0, 0⟩
对于 M2，最终状态包含来自 "hello!" 和 "Fallback" 二者的字母计数，这与是命令式语言的结果相似：
#eval countWithFallback (m := M2) "hello!" ⟨0, 0⟩
在 M1 中，抛出异常会将状态 “回滚” 到捕获异常的位置。
而在 M2 中，对状态的修改会在抛出和捕获异常时持续存在。
通过展开 M1 和 M2 的定义，我们可以看到这种区别。
M1 α 展开为 LetterCounts → Except Err (α × LetterCounts)，而 M2 α 展开为 LetterCounts → Except Err α × LetterCounts。
也就是说，M1 α 描述的函数获取初始字母计数，返回错误或与更新计数配对的 α。
当 M1 中抛出异常时，没有最终状态。
M2 α 描述的是获取初始字母计数并返回新字母计数的函数，同时返回错误或 α。
当 M2 中抛出异常时，会伴随一个状态。
6.3.1. 交换单子
在函数式编程的行话中，如果两个单子转换器可以重新排序而不改变程序的意义，那么这两个单子转换器就被称为 可交换。
当 StateT 和 ExceptT 被重新排序时，程序的结果可能会不同，这意味着状态和异常并不可交换。
一般来说，单子转换器不应该可交换。
尽管并非所有的单子转换器都可交换，但有些单子转换器还是可交换的的。
例如，StateT 的两种用法可以重新排序。
对 StateT σ (StateT σ' Id) α 中的定义进行扩展，可以得到 σ → σ' → ((α × σ) × σ') 类型。 而 StateT σ' (StateT σ Id) α 则生成 σ' → σ → ((α × σ') × σ) 类型。
换句话说，它们的区别在于将 σ 和 σ' 类型嵌套到了返回类型的不同位置，而且接受参数的顺序也不同。
客户端代码仍需提供相同的输入，并接收相同的输出。
大多数既有可变状态又有异常的编程语言的工作方式类似于 M2。
在这些语言中，当异常抛出时应该回滚的状态是很难表达的，通常需要用像 M1 中那样传递显式状态值的方式来模拟。
单子转换器允许自由选择适合当前问题的作用序的解释，两种选择都同样易于编程。
然而，在选择转换器的序时也需要小心谨慎。
有强大的表达能力，我们也有责任检查所表达的是否是我们想要的，而 countWithFallback 的类型签名可能比它应有的多态性更强。