haskell - ST monad 声明的语法

Question

我最近开始在 Hackage 上查看核心库，并且有一个反复出现的习惯用法我不明白。这是 ST module 中的一个示例:

instance Monad (ST s) where
    {-# INLINE (>>=)  #-}
    (>>) = (*>)
    (ST m) >>= k
      = ST (\ s ->
        case (m s) of { (# new_s, r #) ->
        case (k r) of { ST k2 ->
        (k2 new_s) }})

尤其看不懂 (# new_s, r #) .我假设第二个哈希是指未装箱的值，但其余的对我来说是个谜(大概与“新状态”有关)。

Answer 1

(# x, y, z #)是一个包含三个元素的未装箱元组。请参阅 https://downloads.haskell.org/~ghc/6.8.3/docs/html/users_guide/primitives.html 上的“8.2.2. 未装箱元组” .

其余的基本上只是状态的一个实现。