在PureScript中，能否始终用ado...in...替换末尾为pure的do块？

当你的do代码块末尾是pure ...时，始终可以等价替换为对应的ado代码块，原因如下：

1. 两种语法的翻译规则对比 #

原do块的翻译 #

假设你的do块结构是：

do
  x <- action1
  y <- action2
  pure (f x y)

它会被Haskell编译器翻译成基于Monad的绑定链：

action1 >>= \x -> action2 >>= \y -> pure (f x y)

对应的ado块翻译 #

换成ado块后：

ado
  x <- action1
  y <- action2
  in (f x y)

会被翻译成基于Applicative的应用组合：

pure (\x y -> f x y) <*> action1 <*> action2

2. Monad与Applicative的兼容性保证等价性 #

因为你能用do块，说明该类型是Monad实例；而Haskell的类型类规则中，Monad继承自Applicative，所以该类型必然同时是Applicative实例，且必须满足Monad-Applicative兼容律：

• pure a >>= k = k a
• m >>= pure = m
• pure f <*> m = m >>= pure . f

基于这些定律，do块的翻译结果可以被等价转换为ado块的翻译结果，两者语义完全一致。

3. 额外情况说明 #

即使do块中包含let绑定（比如do let x = 1; pure x），也可以对应替换为ado let x = 1; in x，因为ado同样支持let语法，且语义匹配。

内容的提问来源于stack exchange，提问作者Drathier