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 #)是一个带有三个元素的拆箱元组。请参阅“8.2.2。Unboxed Tuples”，地址为https://downloads.haskell.org/~ghc/6.8.3/docs/html/users_guide/primitives.html。

其余的基本上只是一个国家的实施。