ST monad bildiriminin sözdizimi

Question

Son zamanlarda, Hackage'deki çekirdek kitaplıklarına bakmaya başladım ve anlamadığım yinelenen bir deyim var.

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) }}) 

Özellikle, (# new_s, r #) anlamıyorum: Burada ST module den bir örnek. İkinci hashın kutudan çıkarılmış bir değere atıfta bulunduğunu sanıyorum, ama geri kalan kısım benim için bir gizem (muhtemelen "yeni devlet" ile ilgili bir şey).

Answer 1

(# x, y, z #) üç öğeli kutudan çıkarılmamış bir kutudur. https://downloads.haskell.org/~ghc/6.8.3/docs/html/users_guide/primitives.html numaralı telefondan "8.2.2. Kutusuz Tupler" bölümüne bakın. Geri kalan temel olarak sadece bir Devlet uygulamasıdır.