लिस्टटी मोनैड ट्रांसफार्मर क्यों बग्गी माना जाता है - यह किस मोनैड कानूनों को तोड़ता है?

Question

मैंने कहा देखा है कि

ListT एक गाड़ी इकाई ट्रांसफार्मर कि monad laws संतुष्ट नहीं करता का एक उत्कृष्ट उदाहरण है।

क्या यह एक साधारण उदाहरण द्वारा प्रदर्शित किया जा सकता है?

संपादित करें:ListT [] साथ मेरा विचार एक सा गलत है, मैं याद किया कि documentation विनिमेय होने की भीतरी इकाई की आवश्यकता है। तो, ListT बग्गी सिर्फ इस अर्थ में है कि इस आवश्यकता है, या कोई और समस्या है? (examples at Haskell wiki सभी ListT IO का उपयोग करें और IO स्पष्ट रूप से विनिमेय नहीं है।)

Answer 1

एक साधारण उदाहरण है कि पता चलता है कि यह कैसे संबद्धता कानून में विफल रहता है:

v :: Int -> ListT [] Int 
v 0 = ListT [[0, 1]] 
v 1 = ListT [[0], [1]] 

main = do 
    print $ runListT $ ((v >=> v) >=> v) 0 
    -- = [[0,1,0,0,1],[0,1,1,0,1],[0,1,0,0],[0,1,0,1],[0,1,1,0],[0,1,1,1]] 
    print $ runListT $ (v >=> (v >=> v)) 0 
    -- = [[0,1,0,0,1],[0,1,0,0],[0,1,0,1],[0,1,1,0,1],[0,1,1,0],[0,1,1,1]] 

अधिक उदाहरण (ज्यादातर IO का प्रयोग करके) और एक समाधान कैसे ठीक करने के लिए ListTListT done right पर पाया जा सकता है।