Writer Monad có đảm bảo kết nối đúng không?

Question

Đã được xác nhận trong số Validations in Haskell việc sử dụng số Writer đảm bảo nối liên kết phù hợp. Tuy nhiên, ví dụ này có vẻ hiển thị khác. Câu trả lời đúng là gì?

{-# LANGUAGE OverloadedStrings #-} 

import Control.Monad.Writer 
import Data.String 

data TM = TMempty 
     | TMappend TM TM 
     | TMfromString String 

instance IsString TM where 
    fromString = TMfromString 

instance Monoid TM where 
    mempty = TMempty 
    mappend = TMappend 

instance Show TM where 
    showsPrec d TMempty = showString "\"\"" 
    showsPrec d (TMfromString s) = showString $ show s 
    showsPrec d (TMappend a b) = showParen (d > 0) $ 
    showsPrec 1 a . 
    showString " ++ " . 
    showsPrec 0 b 

theWriter :: Writer TM() 
theWriter = do 
    tell "Hello" 
    replicateM_ 2 $ tell "World" 
    tell "!" 

main = print $ execWriter theWriter 

Tạo:

"Hello" ++ ("World" ++ "World" ++ "") ++ "!" 

Answer 1

Vâng, đây thực sự là không đúng sự thật. Từ source code:

m >>= k = WriterT $ do 
    ~(a, w) <- runWriterT m 
    ~(b, w') <- runWriterT (k a) 
    return (b, w `mappend` w') 

... 

-- | @'tell' w@ is an action that produces the output @w@. 
tell :: (Monoid w, Monad m) => w -> WriterT w m() 
tell w = WriterT $ return ((), w) 

Vì vậy, các chuỗi mappend s sẽ phản ánh các chuỗi (>>=) s.

Answer 2

Writer [a] không đảm bảo nối liên kết phù hợp, nhưng bạn có thể nhận được sự liên kết phù hợp phải được đảm bảo với Writer (Endo [a]).