मैंने देखा है कि "नैतिक" शब्द कार्यात्मक प्रोग्रामिंग संदर्भों में आ रहा है। कुछ उदाहरण:"नैतिक" द्वारा कार्यात्मक प्रोग्रामर का क्या अर्थ है?
Purescript Aff प्रलेखन:
यह
ErrorT (ContT Unit (Eff e)) aका नैतिक बराबर है।
मैं शब्द के इन प्रयोगों के साथ अपरिचित हूँ। मैं अधिकतर अनुमान लगा सकता हूं कि वे क्या कहने की कोशिश कर रहे हैं, लेकिन क्या हम इसका सटीक रूप से स्पष्ट कर सकते हैं?
(English Language & Usage पर पोस्ट की गई)
शब्द "नैतिक तुल्यता" (औपचारिक रूप) लॉजिक्स, में और विस्तार से, प्रोग्रामिंग में नैतिकता के अपील के साथ कोई लेना देना नहीं (के रूप में, नैतिक या दार्शनिक प्रश्न) है । यह शब्द "नैतिक रूप से" का सह-चयन कर रहा है, लेकिन इसका मतलब कुछ अलग है। आमतौर पर इसका मतलब माना जाता है "पी धारण करता है, लेकिन केवल कुछ पक्ष-शर्तों के तहत"। इन स्थितियों को अक्सर छोड़ा जाता है यदि उनके पास कोई शैक्षिक मूल्य नहीं है, तो वे छोटे, तकनीकी और/या उबाऊ हैं। इसलिए, "नैतिक समकक्ष" के बारे में जुड़े लेख में ऐसा करने के लिए कुछ भी नहीं है - यहां कोई मूल्य निर्णय नहीं है।
मुझे पर्सस्क्रिप्ट के बारे में बहुत कुछ पता नहीं है, लेकिन जिस तरह से मैंने आपके द्वारा वर्णित कथन की व्याख्या की है, "आप AffErrorT (ContT Unit (Eff e)) a के साथ एक ही चीज़ प्राप्त कर सकते हैं।"
एक और उदाहरण देने के लिए: मान लीजिए कि आपके पास दो कार्य हैं और आप केवल अपने डोमेन के एक विशिष्ट (शायद बड़े) सबसेट में रूचि रखते हैं। आइए यह भी कहें कि ये दो कार्य इन डोमेन पर सहमत हैं, यानी, सभी x ∈ dom, f (x) = g (x) के लिए। लेकिन उदाहरण के लिए, शायद वे 0 पर कुछ अलग करते हैं, लेकिन आप कभी भी उनमें से 0 को पास नहीं करेंगे (क्योंकि 0 कुछ धारणा का उल्लंघन करता है)। कोई उचित रूप से कह सकता है कि एफ और जी "नैतिक रूप से समकक्ष हैं"।
विशेष रूप से तर्कशास्त्र समुदाय में, "नैतिक" के अन्य उपयोग भी हैं, उदाहरण के लिए "सबूत नैतिक रूप से संदिग्ध है", जिसका अर्थ है कि लेखक सबूत को गंदे मानते हैं और यह अंतराल हो सकता है, लेकिन तकनीकी रूप से तय करने योग्य। एक विशेष मामले में, अर्थात् संभावित रूप से गैर-समाप्ति कार्यक्रमों के बारे में सबूत लेते हुए, आपके द्वारा वर्णित पेपर में ऐसा औचित्य दिया जाता है, जिसे "फास्ट एंड लूज रीजनिंग मोरली सही" शीर्षक में प्रतिबिंबित किया जाता है।
कोंकोर मैकब्राइड ट्विटर पर बताते हैं, यह उपयोग श्रेणी सिद्धांत समुदाय से उत्पन्न होता है, जो एफपी में बहुत अधिक प्रेरित करता है।
https://twitter.com/pigworker/status/739971825128607744
यूजेनिया चेंग एक अच्छा कागज नैतिकता की अवधारणा का वर्णन के रूप में गणित में प्रयोग किया जाता है।
यह और अधिक एक [programmers.se] सवाल की तरह लगता है। – jonrsharpe
एफडब्ल्यूआईडब्ल्यू, बस "नैतिक" छोड़ दें और भावना वही रहती है। आईएमओ, यह सब "नैतिक-नस्ल" सिर्फ एक एफपी फड है; देखें http://rationalwiki.org/wiki/Moral_equivalence आदि – vaxquis
"नैतिक समकक्ष" को उसी सिद्धांत के रूप में कम या ज्यादा माना जा सकता है जो बतख-टाइपिंग निम्नानुसार है ... यदि यह एक बतख की तरह चलता है, तो बतख की तरह बात करता है और एक बतख की तरह quacks, तो यह एक बतख होना चाहिए।यह कहने का एक और तरीका है "जब तक अंतिम परिणाम समान होता है (मुझे एक विशिष्ट इनपुट दिया जाता है), मुझे सच में परवाह नहीं है कि हुड के नीचे क्या होता है।" –