परीक्षण मोनाडिक कोड

Question

मैं Haskell course by Brent Yorgey के माध्यम से काम करके हास्केल सीख रहा हूं। मैं बस मोनैड सेक्शन पर पहुंचा, और जब मुझे लगता है कि मैं (आखिरकार) मोनैड के साथ काम करने के बारे में एक सभ्य समझ है, तो मुझे समझ में नहीं आता कि कोड का परीक्षण कैसे किया जाए।

इस खंड का अभ्यास एक (सरलीकृत) जोखिम सिमुलेशन लिखना है, और इसके लिए Rand StdGen मोनड का भारी उपयोग की आवश्यकता है। विशेष रूप से, हमें निम्नलिखित फ़ंक्शन लिखना होगा:

type Army = Int 

data Battlefield = Battlefield { attackers :: Army, defenders :: Army } 

battle :: Battlefield -> Rand StdGen Battlefield 

यह प्रारंभिक युद्धक्षेत्र लेता है, और यह लड़ाई कैसे चलती है इसका सिमुलेशन चलाता है।

मेरे पास इसके लिए एक कार्यान्वयन है, लेकिन मुझे समझ में नहीं आता कि इसका परीक्षण कैसे किया जाए। मैं Rand StdGen Battlefield के अंदर battle द्वारा लौटाए गए मानों को "प्राप्त नहीं कर सकता", इसलिए मैं उन्हें जीएचसीआई दुभाषिया पर प्रिंट नहीं कर सकता, इस प्रकार मैं अब तक अपने कोड का परीक्षण कर रहा हूं। मैं यह भी नहीं समझ सकता कि हास्केल मुख्य फ़ंक्शन, या किसी चीज़ में युद्ध के परिणाम को कैसे मुद्रित किया जाए। लोग इस तरह के कार्यों का परीक्षण करने के बारे में कैसे जाते हैं?

Answer 1

evalRand और दोस्तों जैसे कार्यों का उपयोग करके आप यादृच्छिक गणना के परिणाम "प्राप्त" कर सकते हैं। evalRandRandomGen 'शुरू' लेता है और दृढ़ता से monadic गणना चलाता है।

---

यहाँ मेरी हाथ लहराते, क्या evalRand के लिए है की गैर कठोर व्याख्या दी गई है:

monads और जरूरी प्रोग्रामिंग के बीच मतभेद से एक है कि एक इकाई के एक गणना की एक प्रतिनिधित्व है, नहीं गणना स्वयं। दूसरे शब्दों में, जब हास्केल a >>= b >>= c (या समतुल्य do नोटेशन) की अभिव्यक्ति का मूल्यांकन करता है, तो यह सिर्फ लेगो ईंटों को एक साथ रखता है, इसलिए बोलने के लिए - गणना निष्पादित करें, evalRand जैसे फ़ंक्शन का उपयोग करके मोनैड निष्पादित करें ।

एक सरल उदाहरण के लिए, कार्यों को एक साथ लिखने के बारे में सोचें। . आपको एक ऐसा फ़ंक्शन देता है जो इसे दो कार्यों द्वारा किए गए गणना के प्रतिनिधित्व का प्रतिनिधित्व करता है। जब आप वास्तव में किसी तर्क के साथ फ़ंक्शन को कॉल करते हैं तो आपको केवल उस गणना से वापसी मूल्य मिलता है।

यही कारण है कि मानक पुस्तकालय में कई मोनैड (IO के अपवाद के साथ, जिसे रन-टाइम सिस्टम द्वारा निष्पादित किया जाता है) evalRand जैसे "जाल दरवाजा" फ़ंक्शन प्रदान करते हैं। यह वास्तव में आप का उपयोग करते हैं जो गणना आपने अभी अपने मोनैडिक कोड में परिभाषित की है।