des块中的case表达式的desugaring规则。

Question

我正在阅读关于Monad变形金刚的this教程。它包含一个示例代码，其中case表达式出现在do块中（可以在下图中的底部看到）。

这种情况表达的是什么？

Answer 1

case块中的

do表达式不会超出do块之外的表达式。它们只是Monad m => m a类型的表达式。

它与if非常相似，也没有被贬低。