शुद्ध फ़ंक्शन में यादृच्छिक सूची तत्व कैसे चुनें?

Question

मैं एक Haskell समारोह है कि किसी भी सूची में से एक यादृच्छिक संख्या बाहर ले सकते हैं बनाना चाहते हैं। मेरे प्रकार हस्ताक्षर है:

randomPick :: [a] -> a 

मुझे क्या करना चाहिए?

Answer 1

आप क्या वर्णन किया है शुद्ध कार्यात्मक कोड में नहीं किया जा सकता।

शुद्ध कार्यात्मक कोड का तात्पर्य है कि आप एक ही इनपुट के लिए एक ही उत्पादन, हर बार मिल जाएगा। चूंकि एक यादृच्छिक कार्य, परिभाषा के अनुसार, आपको एक ही इनपुट के लिए अलग-अलग आउटपुट देता है, यह शुद्ध कार्यात्मक कोड में असंभव है।

रूप @camccann's answer में विस्तार से बताया जब तक आप एक अतिरिक्त मूल्य के आसपास गुजरती हैं। तकनीकी रूप से, इसे आपकी आवश्यकताओं के आधार पर आरएनजी के रूप में भी उन्नत नहीं होना चाहिए। आप एक पूर्णांक के चारों ओर गुजर सकते हैं, और इसे 10 से गुणा कर सकते हैं और 3 (या जो भी हो) घटा सकते हैं, फिर अपनी अनुक्रमणिका ढूंढने के लिए इसका मॉड्यूल लें। फिर आपका कार्य शुद्ध रहता है, लेकिन आप सीधे यादृच्छिकता को नियंत्रित करते हैं।

एक अन्य विकल्प RandomRIO उपयोग करने के लिए एक सीमा है, जिसे आप फिर सूची में से एक सूची का चयन करने के लिए उपयोग कर सकते में एक संख्या उत्पन्न करने के लिए है। आपको आईओ मोनड में प्रवेश करने की आवश्यकता होगी। हास्केल में एक "शुद्ध" समारोह की परिभाषा की

Answer 2

हिस्सा है कि है, यह मूल्यांकन करने का परिणाम के साथ परस्पर विनिमय है कि यह referentially transparent है। इसका तात्पर्य यह है कि इसका मूल्यांकन करने का नतीजा हर बार समान होना चाहिए। Ergo, जो काम आप चाहते हैं वह संभव नहीं है, मुझे डर है।

लें और वापसी एक कूट-यादृच्छिक संख्या जनरेटर, जैसे::

randomPick :: RNG -> [a] -> (a, RNG) 

या "बाहर की दुनिया" से अनियमितता का उपयोग करने की IO का उपयोग हास्केल में यादृच्छिक संख्या उत्पन्न करने के लिए एक समारोह दो चीजों में से एक करने की जरूरत है :

randomPick :: [a] -> IO a 

दोनों शैलियों the module System.Random द्वारा प्रदान की जाती हैं। इसके अलावा, पूर्व मामले में, PRNG के आसपास गुजर बाहर State इकाई, या शायद एक special-purpose Random monad का उपयोग कर निकाला जा सकता है।

Answer 3

यदि आप पूरी तरह से कार्यात्मक कोड में यादृच्छिक संख्या जेनरेटर का उपयोग करना चाहते हैं लेकिन जेनरेटर स्थिति के आसपास स्पष्ट रूप से पास नहीं होना है तो आप राज्य मोनैड (या मोनैड ट्रांसफार्मर) का उपयोग कर सकते हैं और नलसाजी को छुपा सकते हैं। राज्य मोनैड अभी भी संदर्भित रूप से पारदर्शी हैं और यह एक राज्य मोनैड से बचने के लिए & सामान्य है। यदि आप सच स्थानीय म्यूटेबल सुरक्षित चाहते हैं तो आप एसटी मोनैड का भी उपयोग कर सकते हैं जो बाहरी रूप से बाहर काम कर रहा है।

rand :: (Random a, RandomGen g, MonadState g m) => a -> a -> m a 
rand lo hi = do 
    r <- get 
    let (val, r') = randomR (lo, hi) r 
    put r' 
    return val