এমন কিছু অন্তর্নিহিত কী কী যা হাসকেলে সম্ভবত "নির্ধারিত" কনস্ট্রাক্টরকে কল করে?


11

Anচ্ছিক প্রকারের অন্তর্নিহিততাটি Maybe Intহ'ল হয় কোনও আন্ত নেই (সুতরাং সেখানে Nothingআছে) অথবা কিছুটা আন্ত রয়েছে; সেখানে কিছু আছে।

এটি আমার কাছে বোধগম্য হয় যে আমরা "নেতিবাচক" কেসটির জন্য টাইপ কনস্ট্রাক্টরকে ডাকি Nothing, যেহেতু এর অর্থ হ'ল - এটি কোনও কিছুই Intনেই। তবে কেন কেবল সেই শব্দটি ব্যবহার করুন যেখানে জোর দেওয়া হয় সেখানে কিছু থাকার জন্য ?

আমার কাছে, "জাস্ট" শব্দটি এর অর্থ বহন করে যে এটি বর্ণিত জিনিসটি বিকল্পের চেয়ে কম ; আসলে সেখানে থাকার বিপরীত কিছু; উদাহরণ স্বরূপ,

উত্তর: আপনি আজ রাতে কিছু করছেন?

বি: না; আমি কেবল টিভি দেখতে যাচ্ছি।

উত্তর: আপনি কি আপনার বাড়ির চারপাশে ভয়ঙ্কর ভূতের শব্দগুলি তদন্ত করেছেন?

খ: হাঁ, সক্রিয় এটা আসলে ছিল আউট মাত্র একটি পেঁচা।

স্পষ্টতই আমি এই নামকরণ পছন্দ উপর ভিত্তি করে যা কিছু অন্তর্দৃষ্টি অভাব আছে। এটা কি? কারণ আমার কাছে, জাস্ট শব্দের অর্থ এটি কীভাবে ব্যবহৃত হয় তার বিপরীত Maybe


4
এই ক্ষেত্রে, আমি মনে করি Scala ভালো নাম দিয়ে গেলেন কিছু যেমন উল্টোদিকে কোনটি (বলার অপেক্ষা রাখে না এটা Scala এর উদ্ভাবন এর)।
আন্দ্রেস এফ।

3
@AndresF। এটি কমপক্ষে এমএলে ফিরে যায় যার সাথে ওডারস্কি অবশ্যই খুব পরিচিত ছিলেন।
ডেরেক এলকিনস এসই

2
@ রবার্টহারভে যদি কোনও হাসেল্লার মোনাদ Maybeহিসাবে ব্যবহার করে থাকে তবে তারা সম্ভবত ব্যবহার করবে returnএবং সম্ভবত এর mzeroপরিবর্তে এর মতো কিছু করবে Nothing। কখন Justসরাসরি ব্যবহার করা হয়, সাধারণত Maybeসেই সময়ে মোনাডিক স্টাইলে ব্যবহৃত হয় না।
ডেরেক এলকিনস এসই

2
.তিহাসিক নজিরটি এমন হত 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
ডেরেক এলকিনস

3
তারা এখনও বেঁচে আছে। আপনি ফিল ওয়াডলার এবং সাইমন পাইটন জোন্স এর মতো লোককে ইমেল করতে এবং তাদের জিজ্ঞাসা করতে পারেন। অথবা হাস্কেল-ক্যাফে মেলিং তালিকাটি ব্যবহার করে দেখুন।
ডেরেক এলকিনস এসই

উত্তর:


2

এটি আগে সায়মন পাইটন জোন্স ব্যাখ্যা করেছেন। এটি বোঝাচ্ছে যে কোনও কিছুই মান বা 'একমাত্র' একক জাতীয় টাইপের মান হতে পারে না। এখানে 'ঠিক' অন্য একটি জিনিস রয়েছে যা মান হিসাবে বা কোনও কিছুই হিসাবে ফিরে পাওয়া যায়।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.