एक वैकल्पिक प्रकार का अंतर्ज्ञान यह Maybe Intहै कि या तो कोई इंट (इस प्रकार, वहां Nothingनहीं है) या कि कुछ इंट है; वहाँ कुछ है।
यह मेरे लिए समझ में आता है कि हम "नकारात्मक" केस के लिए टाइप कंस्ट्रक्टर को कहते हैं Nothing, क्योंकि इसका मतलब बिल्कुल यही है - कि वहाँ कोई नहीं Intहै। लेकिन सिर्फ इस मामले में शब्द का उपयोग क्यों करें जहां वास्तव में किसी चीज पर जोर दिया जा रहा है ?
मेरे लिए, "बस" शब्द इस अर्थ को व्यक्त करता है कि जिस चीज का वह वर्णन कर रहा है वह विकल्प से कम है; वास्तव में कुछ होने के विपरीत; उदाहरण के लिए,
A: आप आज रात कुछ भी कर रहे हैं?
बी: नहीं; मैं बस रहने वाला हूं और टीवी देख रहा हूं ।
A: क्या आपने अपने घर के आसपास खौफनाक भूत की आवाज़ की जांच की थी?
बी: हाँ, पता चला है कि यह वास्तव में सिर्फ एक उल्लू था।
स्पष्ट रूप से मुझे इस नामकरण पसंद पर आधारित जो भी अंतर्ज्ञान की कमी है। यह क्या है? मेरे कारण, जस्ट शब्द का अर्थ है कि इसके Maybeप्रकार में इसका उपयोग कैसे किया जाता है ।
Maybeरूप में उपयोग कर रहा था , तो वे संभवतः उपयोग करेंगे returnऔर शायद mzeroइसके बजाय कुछ पसंद करेंगे Nothing। जब Justसीधे उपयोग किया जाता है, तो आमतौर Maybeपर उस बिंदु पर विवादास्पद शैली का उपयोग नहीं किया जाता है।
Optionटाइप होती। हास्केल के डिजाइनरों ने शायद महसूस किया कि foo x = Just x"पढ़ा" इससे बेहतर है foo x = Some x। इसी तरह, परिभाषा data Maybe a = Just a | Nothingबहुत अच्छी तरह से पढ़ती है " या Maybe aतो है Just aया यह Nothing" है। Someकाफी अच्छी तरह से वहाँ पढ़ता है, लेकिन के Noneलिए नहीं है data Option a = Some a | None।