फ़ंक्शन से एक यादृच्छिक मूल्य लौटा रहा है एक साइड इफेक्ट?

Question

मैं कुछ एफ # कोड पर काम कर रहा था और मैं स्ट्रिंग्स के सेट से यादृच्छिक स्ट्रिंग वापस करने के लिए फ़ंक्शन पर काम कर रहा था।

open System 

let a = [|"a";"b";"c";"d"|] 

let rstring (arr:string[]) = 
    let r = new Random() 
    arr.[r.Next(0,3)] 

let resultstring = rstring a;; 

मेरा प्रश्न यह है:: कार्यात्मक प्रोग्रामिंग की धारणा की मेरी समझ है कि यह हमेशा एक ही उत्पादन लौट जाना किसी दिए गए समारोह एक ही इनपुट हर बार है अगर है चलो कहते हैं कि मैं कुछ इस तरह था करते हैं। तो इस विशेष मामले में प्रत्येक बार एक "दुष्प्रभाव" एक अलग स्ट्रिंग वापस कर रहा है? मैं सिर्फ उत्सुक हूँ।

यदि यह एक डुप्लिकेट प्रश्न है, तो बस मुझे मूल पर इंगित करें और मैं इसे बंद कर दूंगा। मुझे यकीन नहीं है कि मैं किस खोज स्ट्रिंग का उपयोग इस से संबंधित किसी भी प्रश्न को खोजने के लिए करूंगा।

---

संपादित करें: सभी जानकारी के लिए धन्यवाद। ऐसा लगता है कि मैंने संदर्भित पारदर्शिता और साइड इफेक्ट्स की कमी की अवधारणाओं को स्वीकार किया। तो, मुझे सीधे अंतर पर सेट करने और आपके उत्तरों के लिए धन्यवाद के लिए धन्यवाद।

Answer 1

हां।

एकमात्र तरीका एक फ़ंक्शन एक ही इनपुट से अलग-अलग मान वापस कर सकता है साइड इफेक्ट्स के माध्यम से होता है। अन्य लोग अन्यथा दावा कर सकते हैं, लेकिन वे गलत हैं।

(आप दावा कर सकते हैं कि 'सिस्टम समय पढ़ना' (जो प्रभावों पर स्पष्ट रूप से आधारित है) प्रभाव नहीं है। इस परिभाषा के अनुसार, यह दुष्प्रभाव नहीं है। लेकिन यह परिभाषा उपयोगी नहीं है, क्योंकि एकमात्र कारण लोगों को "देखभाल" दुष्प्रभाव के बारे में, क्योंकि वे निर्देशात्मक पारदर्शिता प्रभावित करते हैं। दूसरे शब्दों में, निर्देशात्मक पारदर्शिता केवल एक चीज है कि मायने रखती है, और इस समारोह स्पष्ट रूप से referentially पारदर्शी नहीं है।)

Answer 2

"साइड इफेक्ट" का अर्थ है कि कुछ राज्य फ़ंक्शन द्वारा बदल दिए जाते हैं, न कि वापसी मूल्य अलग होता है। आपके मामले में, फ़ंक्शन दोनों कर रहा है - यह पीआरएनजी की स्थिति बदल रहा है और एक अलग मूल्य लौटा रहा है।

संपादित करें:

मैं भी जोड़ देंगे कि एक समारोह हमेशा किसी दिए गए इनपुट के लिए एक ही मान देता है अगर यह idempotent कहा जाता है। इसके अलावा "साइड इफेक्ट" में बाहरी कार्य से पढ़ने वाले फ़ंक्शन शामिल हैं। उदाहरण के लिए:

int global = 0; 
int function() 
{ 
    return global; 
} 

दुष्प्रभाव हैं।

Answer 3

मुझे विश्वास नहीं है कि आपका उदाहरण दुष्प्रभाव माना जाएगा।

http://en.wikipedia.org/wiki/Side_effect_(computer_science)

Answer 4

ठीक एक समारोह गैर नियत होने के लिए है। यह दुष्प्रभाव नहीं है। एक साइड इफेक्ट होगा यदि यह किसी मूल्य को वापस करने के अलावा प्रोग्राम की स्थिति को किसी भी तरह बदल देता है। मैं कहूंगा कि दोनों दुष्प्रभाव और गैर-निर्धारणवाद ऐसे तरीके हैं जो कार्यात्मक प्रोग्रामिंग में कार्य गणितीय कार्यों से भिन्न होते हैं।

Answer 5

यादृच्छिक जनरेटर के कार्यान्वयन विवरण की उपेक्षा (जो अभ्यास में साइड इफेक्ट्स की आवश्यकता होती है, और सिद्धांत में यह नहीं है), तो यह फ़ंक्शन दुष्प्रभाव मुक्त है लेकिन शुद्ध नहीं है।

मूल रूप से फ़ंक्शन कॉल को ऑरैकल मशीन होने की कल्पना करें जो पूरी तरह से कुछ भी नहीं पर यादृच्छिक संख्या देता है। कहीं ऐसा सबूत है जो कहता है कि आप ऐसा नहीं कर सकते हैं, लेकिन उस समय के लिए बस कल्पना की जा रही है।

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

पक्ष प्रभाव के प्रकार है कि संदर्भित पारदर्शिता कभी कभी एक "नरम पक्ष प्रभाव" साइन रूप में जाना जाता है का उल्लंघन नहीं करता यह टिप्पणी कार्यक्रम के (व्यवहार में परिवर्तन नहीं करता है: इससे पहले कि आप ने मुझे बताया कि समय परिवर्तन पढ़ने उत्पन्न संख्या का व्यवहार, फ़ंक्शन कॉल का विनिर्देश कहता है कि फ़ंक्शन एक यादृच्छिक संख्या देता है। समय घड़ी को पढ़ने के लिए उस विनिर्देश को प्राप्त करने का कार्यान्वयन विवरण होता है। समय घड़ी बदलना (अत्यधिक अपमानजनक परिस्थितियों को छोड़कर) नहीं करता है तथ्य समारोह एक छद्म यादृच्छिक संख्या देता है कि, के बाद से विनिर्देश विस्तार नहीं करता है जो कि संख्या है बदल देते हैं।

एक नरम पक्ष प्रभाव का उत्कृष्ट उदाहरण प्रवेश करने की है, के बाद से कार्यक्रम आम तौर पर अपने लॉग्स का निरीक्षण नहीं करते हैं और परिवर्तन इस पर आधारित व्यवहार।

यदि आप इसे कार्यात्मक रूप से शुद्ध तरीके से करना चाहते हैं तो आपको एक राज्य मोनड लागू करना होगा।

http://fsharpcode.blogspot.com/2008/12/f-state-monad-type-state-state-state-of.html

मूल रूप से है कि लेने के लिए, आप एक यादृच्छिक संख्या जनरेटर और 'एक एक पूर्णांक, और फिर अपने नियंत्रण प्रवाह एक भी कार्य करने के लिए अशुद्धता अलग और अनुक्रमण पर एक कठिन आदेश बनाता है राज्य हैं।

एफ # में ऐसा करने का कोई मतलब नहीं है, क्योंकि अशुद्ध कार्य वास्तव में समस्याएं नहीं पैदा करते हैं (दूसरी तरफ साइड इफेक्ट्स के साथ काम करते हैं)।

बेशक मोनड अशुद्ध है, लेकिन यह अशुद्धता को अच्छी तरह से अलग करता है।