क्या लेखक मोनाड सही सहयोगी concatenation की गारंटी देता है?

Question

Validations in Haskell में दावा किया गया था कि Writer का उपयोग सही-सहयोगी concatenation की गारंटी देता है। हालांकि, यह उदाहरण अन्यथा दिखाना प्रतीत होता है। सही जवाब क्या है?

{-# 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 

का उत्पादन:

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

Answer 1

हाँ, यह वास्तव में गलत है। 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) 

तो mappend रों की श्रृंखला (>>=) रों की श्रृंखला का आईना होगा।

Answer 2

Writer [a] सही-सहयोगी concatenation की गारंटी नहीं देता है, लेकिन आप Writer (Endo [a]) के साथ सही दाएं सहयोगी concatenation प्राप्त कर सकते हैं। 'शोप्रैक' का उपयोग करने और कार्यान्वित करने के सरल उदाहरण के लिए