मोनाडस्टेट का कारण मिलता है और डाल दिया जाता है?

Question

मैं रियल वर्ल्ड हास्केल (अध्याय 14) में मोनाड्स अध्याय पढ़ रहा हूं।

type RandomState a = State StdGen a 
getRandom :: Random a => RandomState a 
getRandom = 
    get >>= \gen -> 
    let (val, gen')= random gen in 
    put gen' >> 
    return val 

मैं वास्तव में प्राप्त करने के उद्देश्य को समझने और कार्यों को यहाँ रखा नहीं है: एक समारोह defined इस प्रकार है।

getRandom2 :: Random a => RandomState a 
getRandom2= State $ \ s -> random s 

तो मेरे सवाल है: क्या की हो और सामान्य में डाल उद्देश्य है मैं जो और एक ही बात कर रहा है अधिक संक्षिप्त है निम्नलिखित के रूप में कार्य दुबारा लिखा?

Answer 1

यह एक संयोग का एक सा है कि randomState इकाई के भीतरी समारोह के रूप में वास्तव में एक ही प्रकार के हस्ताक्षर/उपयोग पैटर्न के लिए होता (और वास्तव में इस मामले में आप और भी अधिक संक्षिप्त, अगर शायद अधिक भ्रमित हो सकते हैं getRandom2 = State random के साथ)।

हालांकि, आमतौर पर लागू नहीं होगा, और फिर get और put सुविधाजनक नलसाजी टुकड़े हैं जिनका अर्थ सीधे आंतरिक कार्य को लिखने से स्पष्ट है। वे State द्वारा उपयोग किए जाने वाले सटीक प्रतिनिधित्व से सार करने में भी मदद करते हैं - वे वास्तव में अधिक सामान्य श्रेणी MonadState के वर्ग सदस्य हैं, इसलिए आप उनका उपयोग करके अधिक पॉलीमोर्फिक कोड लिख सकते हैं।