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।