Haskell 中的“~”是什么意思？

Question

我正在研究 mtl 库并尝试做一些我自己的 MonadTransformers。我正在检查 Control.Monad.State.StateT 声明，在所有代码中，我看到以下语法：

execStateT :: (Monad m) => StateT s m a -> s -> m s
execStateT m s = do
  ~(_, s') <- runStateT m s
  return s'

这个 ~ 操作数是什么意思？

Answer 1

这是 Haskell 中惰性模式的表示法。我不能说我很熟悉它，但是从这里：

它被称为惰性模式，并且具有
形式〜帕特。惰性模式是
无可辩驳：匹配一个值 v
反对~pat总是成功的，
不管帕特。操作上
说起来，如果 pat 中的标识符是
后来在右侧“使用”，
它将绑定到该部分
如果 v 为
成功匹配 pat，并且 ⊥
否则。

另外，本节可能会有用。

Answer 2

对于正常的模式匹配，需要评估应该匹配的值，以便可以将其与模式进行比较。

~ 表示惰性模式匹配：只是假设该值将与模式匹配。如果实际使用了匹配变量的值，则稍后才会进行匹配。

Answer 3

它相当于

execStateT m s = do
  r <- runStateT m s
  return (snd r)

或

execStateT m s =
  runStateT m s >>= return . snd