Anচ্ছিক প্রকারের অন্তর্নিহিততাটি Maybe Int
হ'ল হয় কোনও আন্ত নেই (সুতরাং সেখানে Nothing
আছে) অথবা কিছুটা আন্ত রয়েছে; সেখানে কিছু আছে।
এটি আমার কাছে বোধগম্য হয় যে আমরা "নেতিবাচক" কেসটির জন্য টাইপ কনস্ট্রাক্টরকে ডাকি Nothing
, যেহেতু এর অর্থ হ'ল - এটি কোনও কিছুই Int
নেই। তবে কেন কেবল সেই শব্দটি ব্যবহার করুন যেখানে জোর দেওয়া হয় সেখানে কিছু থাকার জন্য ?
আমার কাছে, "জাস্ট" শব্দটি এর অর্থ বহন করে যে এটি বর্ণিত জিনিসটি বিকল্পের চেয়ে কম ; আসলে সেখানে থাকার বিপরীত কিছু; উদাহরণ স্বরূপ,
উত্তর: আপনি আজ রাতে কিছু করছেন?
বি: না; আমি কেবল টিভি দেখতে যাচ্ছি।
উত্তর: আপনি কি আপনার বাড়ির চারপাশে ভয়ঙ্কর ভূতের শব্দগুলি তদন্ত করেছেন?
খ: হাঁ, সক্রিয় এটা আসলে ছিল আউট মাত্র একটি পেঁচা।
স্পষ্টতই আমি এই নামকরণ পছন্দ উপর ভিত্তি করে যা কিছু অন্তর্দৃষ্টি অভাব আছে। এটা কি? কারণ আমার কাছে, জাস্ট শব্দের অর্থ এটি কীভাবে ব্যবহৃত হয় তার বিপরীত 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
।