এটি লেখার সময়, এই পৃষ্ঠায় শীর্ষে দেওয়া উত্তরগুলি সঠিক নয় এবং উইকিপিডিয়াকে উদ্ধৃত করে এমন উত্তর সহ ঘোষণামূলক বনাম অপরিহার্য সংজ্ঞাতে গলিত। কিছু উত্তর বিভিন্ন উপায়ে শর্তগুলি বিভ্রান্ত করছে।
এছাড়াও পড়ুন আমার ব্যাখ্যা কেন স্প্রেডশীট প্রোগ্রামিং ঘোষণামূলক হয়, নির্বিশেষে যে সূত্র কোষ পরিবর্তন ঘটান।
এছাড়াও, বেশ কয়েকটি উত্তর দাবি করে যে কার্যকরী প্রোগ্রামিং অবশ্যই ঘোষণার একটি উপসেট হতে পারে। এই মুহুর্তে এটি নির্ভর করে যদি আমরা "পদ্ধতি" থেকে "ফাংশন" কে পৃথক করি। জোরপূর্বক বনাম ঘোষণার আগে পরিচালনা করতে দেয়।
ঘোষণামূলক অভিব্যক্তি সংজ্ঞা
শুধুমাত্র গুণ যা সম্ভবত একটি পার্থক্য করতে পারেন ঘোষণামূলক একটি থেকে অভিব্যক্তি অনুজ্ঞাসূচক অভিব্যক্তি তার উপ-অভিব্যক্তির উল্লেখ স্বচ্ছতা (আর.টি.) হয়। অন্যান্য সমস্ত বৈশিষ্ট্য হয় উভয় ধরণের এক্সপ্রেশনগুলির মধ্যে ভাগ করা হয় বা আরটি থেকে প্রাপ্ত der
একটি 100% ঘোষণামূলক ভাষা (যার মধ্যে প্রতিটি সম্ভাব্য এক্সপ্রেশনটি আরটি হয়) এটি (অন্যান্য আরটি প্রয়োজনীয়তার মধ্যে) সঞ্চিত মানগুলি, যেমন এইচটিএমএল এবং বেশিরভাগ হাস্কেলের পরিবর্তনের অনুমতি দেয় না।
আরটি এক্সপ্রেশন সংজ্ঞা
আরটি প্রায়শই "কোনও পার্শ্ব প্রতিক্রিয়া না" হিসাবে চিহ্নিত হয়। শব্দ প্রভাবের একটি সংক্ষিপ্ত সংজ্ঞা নেই, সুতরাং কিছু লোক সম্মত হন না যে "কোনও পার্শ্ব-প্রতিক্রিয়া" আরটি-র মতো নয়। আরটিটির একটি সুনির্দিষ্ট সংজ্ঞা রয়েছে ।
যেহেতু প্রতিটি উপ-এক্সপ্রেশনটি ধারণামূলকভাবে একটি ফাংশন কল, আরটিটির প্রয়োজন হয় যে কোনও ফাংশনের বাস্তবায়ন (যেমন ডাকা ফাংশনের অভ্যন্তরে এক্সপ্রেশন (গুলি) ফাংশনের বাহ্যিক পরিবর্তনীয় স্থানে অ্যাক্সেস নাও করতে পারে ( পরিবর্তনীয় স্থানীয় রাষ্ট্রের প্রবেশাধিকার হল অনুমতি দেওয়া হয়েছে)। সহজভাবে বলতে গেলে, ফাংশন (বাস্তবায়ন) খাঁটি হওয়া উচিত ।
খাঁটি ফাংশন সংজ্ঞা
একটি খাঁটি ফাংশন প্রায়শই বলা হয় "কোনও পার্শ্ব প্রতিক্রিয়া নেই"। শব্দগুলির প্রভাবগুলির একটি নির্দিষ্ট সংজ্ঞা নেই, তাই কিছু লোক সম্মত হয় না।
খাঁটি ফাংশনগুলির নিম্নলিখিত বৈশিষ্ট্য রয়েছে।
- একমাত্র পর্যবেক্ষণযোগ্য আউটপুট হ'ল রিটার্ন মান।
- একমাত্র আউটপুট নির্ভরতা আর্গুমেন্ট।
- কোনও আউটপুট উত্পন্ন হওয়ার আগে আর্গুমেন্টগুলি পুরোপুরি নির্ধারিত হয়।
মনে রাখবেন আরটি এক্সপ্রেশনগুলিতে প্রযোজ্য (যার মধ্যে ফাংশন কলগুলি অন্তর্ভুক্ত) এবং বিশুদ্ধতা (প্রয়োগকরণ) ফাংশনে প্রযোজ্য।
অপরিশোধিত ফাংশনগুলির একটি অস্পষ্ট উদাহরণ যা আরটি এক্সপ্রেশনগুলি সংহত করে, তবে এটি কারণ হ'ল বিশুদ্ধতাটি বিঘ্নিত বিমূর্ত স্তরটিতে ভেঙে যায়। আপনার আসলে এটি জানার দরকার নেই। আরটি এক্সপ্রেশন করতে, আপনি খাঁটি ফাংশন বলে।
আরটি এর ডেরাইভেটিভ বৈশিষ্ট্য
ঘোষিত প্রোগ্রামিংয়ের জন্য উদ্ধৃত অন্য কোনও বৈশিষ্ট্য, যেমন উইকিপিডিয়া দ্বারা ব্যবহৃত ১৯৯৯ সালের উদ্ধৃতিটি আরটি থেকে প্রাপ্ত, বা আবশ্যক প্রোগ্রামিংয়ের সাথে ভাগ করা হয়। এইভাবে প্রমাণিত যে আমার সুনির্দিষ্ট সংজ্ঞাটি সঠিক।
দ্রষ্টব্য, বাহ্যিক মানগুলির অপরিবর্তনীয়তা হ'ল আরটি-র প্রয়োজনীয়তার একটি উপসেট।
ডিক্লারেটিভ ভাষাগুলিতে লুপিং স্ট্রাকচার কাঠামো নেই, যেমন forএবং while, কারণ অপরিবর্তনীয়তার কারণে লুপের অবস্থাটি কখনই পরিবর্তিত হবে না।
ঘোষিত ভাষাগুলি নেস্টেড ফাংশন অর্ডার (ওরফে লজিকাল নির্ভরতা) ব্যতীত নিয়ন্ত্রণ-প্রবাহ প্রকাশ করে না, কারণ অপরিবর্তনীয়তার কারণে মূল্যায়ন আদেশের অন্যান্য পছন্দগুলি ফলাফল পরিবর্তন করে না (নীচে দেখুন)।
ঘোষিত ভাষাগুলি যৌক্তিক "পদক্ষেপ" প্রকাশ করে (অর্থাত নেস্টেড আরটি ফাংশন কল অর্ডার), তবে প্রতিটি ফাংশন কল উচ্চ স্তরের শব্দার্থক (যেমন "কী করতে হবে") তা ঘোষণামূলক প্রোগ্রামিংয়ের প্রয়োজনীয়তা নয়। অপরিহার্য থেকে পার্থক্য হ'ল অপরিবর্তনীয়তার কারণে (যেমন আরও সাধারণভাবে আরটি), এই "পদক্ষেপগুলি" পরিবর্তিত অবস্থার উপর নির্ভর করতে পারে না, কেবলমাত্র প্রকাশিত যুক্তির সম্পর্কযুক্ত ক্রম (অর্থাত্ ফাংশন কলগুলির নেস্টিংয়ের ক্রম, ওরফে সাব-এক্সপ্রেশন) )।
উদাহরণস্বরূপ, অনুচ্ছেদে <p>উপ-এক্সপ্রেশন (অর্থাত্ ট্যাগ) মূল্যায়ন না করা পর্যন্ত এইচটিএমএল অনুচ্ছেদ প্রদর্শন করা যাবে না। কোনও পরিবর্তনীয় অবস্থা নেই, কেবলমাত্র ট্যাগ ক্রমবিন্যাসের যৌক্তিক সম্পর্কের কারণে কেবলমাত্র একটি অর্ডার নির্ভরতা (উপ-এক্সপ্রেশনগুলির বাসা বাঁধে, যা অ্যানালিজে ফাংশন কলগুলি হয় )।
এইভাবে অপরিবর্তনীয়তার ডেরাইভেটিভ বৈশিষ্ট্য রয়েছে (আরও সাধারণভাবে আরটি), যে ঘোষণামূলক অভিব্যক্তিগুলি কেবলমাত্র উপাদানগুলির যৌক্তিক সম্পর্কগুলি প্রকাশ করে (অর্থাত্ উপ-এক্সপ্রেশন ফাংশন আর্গুমেন্টের) এবং পরিবর্তনীয় রাষ্ট্রীয় সম্পর্কগুলির নয়।
মূল্যায়ন আদেশ
উপ-এক্সপ্রেশনগুলির মূল্যায়ন আদেশের পছন্দটি কেবল তখনই একটি পৃথক ফলাফল দিতে পারে যখন কোনও ফাংশন কল আরটি না হয় (যেমন ফাংশনটি খাঁটি নয়), যেমন কোনও ফাংশনের বাইরের কিছু পরিবর্তনীয় স্থিতি ফাংশনের মধ্যে অ্যাক্সেস করা হয়।
উদাহরণস্বরূপ, কিছু নেস্টেড এক্সপ্রেশন, যেমন দেওয়া f( g(a, b), h(c, d) )যদি ফাংশন, ফাংশন আর্গুমেন্ট উৎসুক এবং অলস মূল্যায়ন একই ফলাফল দেবে f, gএবং hবিশুদ্ধ হয়।
যদিও, যদি ফাংশনগুলি f, gএবং hখাঁটি না হয় তবে মূল্যায়ন আদেশের পছন্দটি আলাদা ফলাফল দিতে পারে।
দ্রষ্টব্য, নেস্টেড এক্সপ্রেশনগুলি ধারণাগতভাবে নেস্টেড ফাংশন, যেহেতু এক্সপ্রেশন অপারেটরগুলি কেবল ফাংশন কলগুলি অ্যানারি উপসর্গ, অ্যানারি পোস্টফিক্স বা বাইনারি ইনফিক্স স্বরলিপি হিসাবে মাস্ক্রেড করে।
Tangentially, যদি সব শনাক্তকারী, যেমন a, b, c, dহয় অপরিবর্তনীয় সর্বত্র রাষ্ট্রীয় প্রোগ্রাম বহিরাগত অ্যাক্সেস করা যাবে না (অর্থাত, I / O), এবং সেখানে কোন বিমূর্ততা স্তর বিচ্ছেদ হয়, তাহলে ফাংশন সবসময় বিশুদ্ধ হয়।
যাইহোক, হাস্কেলের একটি আলাদা বাক্য গঠন রয়েছে f (g a b) (h c d),।
মূল্যায়ন আদেশ বিশদ
একটি ফাংশন একটি ইনপুট থেকে আউটপুট এ স্টেট ট্রানজিশন (কোনও পরিবর্তনীয় সঞ্চিত মান নয়)। খাঁটি ফাংশনগুলিতে কল করার জন্য আরটি রচনাগুলির জন্য , এই রাষ্ট্রীয় রূপান্তরগুলির ক্রম-কার্য-সম্পাদন স্বাধীন। পার্শ্বপ্রতিক্রিয়ার অভাব এবং একটি আরটি ফাংশন তার ক্যাশেড মান দ্বারা প্রতিস্থাপিত হতে পারে যে নীতিটির কারণে প্রতিটি ফাংশন কলের স্থিতিস্থাপকতা অন্যদের থেকে স্বতন্ত্র । একটি জনপ্রিয় ভ্রান্ত ধারণা সংশোধন করার জন্য , খাঁটি monadic রচনাটি সর্বদা ঘোষিত এবং আরটি থাকে , তবুও হাস্কেলের IOমনাদ তর্কযোগ্যভাবে অপরিষ্কার এবং এইভাবে অপরিহার্য Worldরাষ্ট্রকে এই কর্মসূচির বাহ্যিক (তবে নীচের ক্যাভিয়েটের অর্থে, পার্শ্ব-প্রতিক্রিয়াগুলি) বিচ্ছিন্ন হয়)।
আগ্রহী মূল্যায়ন অর্থ ফাংশন বলার আগে ফাংশন যুক্তিগুলি মূল্যায়ন করা হয় এবং অলস মূল্যায়নের অর্থ যুক্তিগুলি ফাংশনের মধ্যে অ্যাক্সেস না হওয়া পর্যন্ত (এবং যদি) আর্গুমেন্টগুলি মূল্যায়ন করা হয় না ।
সংজ্ঞা : ফাংশন পরামিতিগুলি ফাংশন সংজ্ঞা সাইটে ঘোষণা করা হয় এবং ফাংশন আর্গুমেন্টগুলি ফাংশন কল সাইটে সরবরাহ করা হয় । মধ্যে পার্থক্য কি জানেন পরামিতি এবং যুক্তি ।
ধারণার দিক থেকে, সমস্ত এক্সপ্রেশন ধ্রুবক ইনপুট ছাড়া ফাংশন হয়, ইউনারী অপারেটর এক ইনপুট সঙ্গে ফাংশন হয়, বাইনারি পোতা অপারেটার দুটি ইনপুট সঙ্গে ফাংশন হয়, কনস্ট্রাকটর ফাংশন, এবং এমনকি নিয়ন্ত্রণ বিবৃতি (যেমন (এর একটি রচনা) ফাংশন কল, যেমন হয় if, for, while) ফাংশন সঙ্গে মডেল করা যেতে পারে। অর্ডার যে এই যুক্তি ফাংশন (নেস্টেড ফাংশন কল অর্ডার দিয়ে না দ্বিধায় পরে না) মূল্যায়ন করা হয় সিনট্যাক্স ঘোষণা করা হয় না, যেমন f( g() )সাগ্রহে মূল্যায়ন পারে gতারপর fউপর gএর ফলাফলের অথবা এটি নির্ণয় করা যায়নি fএবং একমাত্র প্রখর রৌদ্রে মূল্যায়ন gযখন তার ফলাফলের মধ্যে প্রয়োজন হয় f।
সতর্কতামূলকভাবে, কোনও ট্যুরিং সম্পূর্ণ ভাষা (অর্থাত্ আনবাউন্ডেড পুনরাবৃত্তির অনুমতি দেয়) পুরোপুরি ঘোষিত, যেমন অলস মূল্যায়ন স্মৃতি এবং সময়কে অনির্দিষ্টতার পরিচয় দেয়। তবে মূল্যায়ন আদেশের পছন্দের কারণে এই পার্শ্ব-প্রতিক্রিয়াগুলি মেমরির খরচ, প্রয়োগের সময়, বিলম্বিতা, অবসানহীনতা এবং বহিরাগত হিস্টেরিসিসের ফলে বহিরাগত সিঙ্ক্রোনাইজেশনের মধ্যে সীমাবদ্ধ ।
ফাংশনাল প্রোগ্রামিং
কারণ ঘোষিত প্রোগ্রামিংয়ের লুপগুলি থাকতে পারে না, তারপরে পুনরাবৃত্তি করার একমাত্র উপায় হ'ল কার্যকরী পুনরাবৃত্তি। এটি এই অর্থে যে কার্যকরী প্রোগ্রামিং ডিক্লেয়ারেশনাল প্রোগ্রামিং সম্পর্কিত।
তবে ক্রিয়ামূলক প্রোগ্রামিং কেবল ঘোষিত প্রোগ্রামিংয়ের মধ্যে সীমাবদ্ধ নয় । কার্যকরী রচনাটি সাব টাইপিংয়ের সাথে বিপরীত হতে পারে , বিশেষত এক্সপ্রেশন সমস্যার ক্ষেত্রে , যেখানে এক্সটেনশনটি সাব টাইপ বা ক্রিয়ামূলক পচন যুক্ত করে অর্জন করা যেতে পারে । এক্সটেনশন উভয় পদ্ধতির মিশ্রণ হতে পারে ।
ফাংশনাল প্রোগ্রামিং সাধারণত ফাংশনটিকে প্রথম-শ্রেণীর অবজেক্ট করে তোলে, যার অর্থ ফাংশন টাইপ ব্যাকরণে অন্য যে কোনও প্রকারে উপস্থিত হতে পারে। ফলশ্রুতিটি হ'ল ফাংশনগুলি ফাংশনগুলিকে ইনপুট করতে এবং পরিচালনা করতে পারে, এইভাবে ফাংশন রচনার উপর জোর দিয়ে উদ্বেগ-বিহীনতার জন্য সরবরাহ করে, অর্থাত্ একটি ডিটারমিনিস্টিক কম্পিউটেশনের সাব কমপুটেশনের মধ্যে নির্ভরতা পৃথক করে।
উদাহরণস্বরূপ, সংগ্রহের প্রতিটি উপাদানকে প্রয়োগ করা যেতে পারে এমন সম্ভাব্য বিশেষায়িত ক্রিয়াকলাপগুলির জন্য প্রতিটি পৃথক ফাংশন (এবং লুপগুলির পরিবর্তে পুনরায় নিয়োগগুলি নিয়োগের পরিবর্তে) কার্যকরী প্রোগ্রামিং পুনরায় ব্যবহারযোগ্য পুনরাবৃত্তি নিয়োগ করে ফাংশন, যেমন map, fold, filter। এই পুনরাবৃত্তি ফাংশন ইনপুট একটি প্রথম শ্রেণীর বিশেষায়িত ক্রিয়া ফাংশন। এই পুনরাবৃত্তি ফাংশন সংগ্রহ পুনরাবৃত্তি এবং প্রতিটি উপাদান জন্য ইনপুট বিশেষ ক্রিয়াকলাপ কল। এই ক্রিয়া ফাংশনগুলি আরও সংক্ষিপ্ত কারণ এগুলি সংগ্রহ পুনরাবৃত্তি করতে লুপিং স্টেটমেন্টগুলি আর রাখার প্রয়োজন নেই।
তবে খেয়াল করুন যে কোনও ফাংশন যদি খাঁটি না হয় তবে তা সত্যিই একটি প্রক্রিয়া। আমরা সম্ভবত তর্ক করতে পারি যে কার্যকরী প্রোগ্রামিং যা অপরিষ্কার ফাংশন ব্যবহার করে, এটি আসলে প্রক্রিয়াজাতীয় প্রোগ্রামিং। সুতরাং আমরা যদি সম্মতি স্বীকার করি যে ঘোষণামূলক এক্সপ্রেশনগুলি আরটি হয়, তবে আমরা বলতে পারি যে প্রসেসালাল প্রোগ্রামিংটি ডিকোলেটিভ প্রোগ্রামিং নয়, এবং এইভাবে আমরা তর্ক করতে পারি যে ফাংশনাল প্রোগ্রামিং সর্বদা আরটি হয় এবং অবশ্যই ডিক্যারেটিভ প্রোগ্রামিংয়ের একটি উপসেট হতে হবে।
উপমা
প্রথম শ্রেণির ফাংশন সহ এই কার্যকরী রচনাটি স্বাধীন ফাংশনকে আলাদা করে সমান্তরালতার গভীরতা প্রকাশ করতে পারে।
ব্রেন্টের নীতিমালা: কাজের ডাব্লু এবং গভীরতা ডি এর সাথে গণনার সময়সী পি (প্রসেসর) প্রাইমগুলিতে প্রয়োগ করা যেতে পারে (সর্বোচ্চ (ডাব্লু / পি, ডি))।
সম্মতি এবং সমান্তরালতা উভয়ের জন্য ঘোষণামূলক প্রোগ্রামিংও প্রয়োজন , অর্থাত অপরিবর্তনীয়তা এবং আরটি।
সুতরাং সমান্তরালতা == সংহতি কোথা থেকে এসেছে এই বিপজ্জনক ধারণা? পার্শ্ব-প্রতিক্রিয়াযুক্ত ভাষাগুলির এটি প্রাকৃতিক পরিণতি: যখন আপনার ভাষাটির সর্বত্র প্রভাব রয়েছে, তখন যে কোনও সময় আপনি যখন একবারে একাধিক কাজ করার চেষ্টা করেন তখন প্রতিটি অপারেশন থেকে প্রভাবগুলি ইন্টারলাইভ করার কারণে আপনার অ-নির্ধারণবাদ হয় have । সুতরাং পার্শ্ব-কার্যকরী ভাষাগুলিতে সমান্তরালতা পাওয়ার একমাত্র উপায় হ'ল সম্মতি; তাই অবাক হওয়ার মতো বিষয় নয় যে আমরা প্রায়শই দুটি সংঘাত দেখি।
এফপি মূল্যায়ন আদেশ
নোট করুন মূল্যায়নের আদেশটি কার্যকরী রচনাটির সমাপ্তি এবং পারফরম্যান্সের পার্শ্ব-প্রতিক্রিয়াকেও প্রভাবিত করে।
ইজিয়ার (সিবিভি) এবং অলস (সিবিএন) শ্রেণীবদ্ধ দ্বন্দ্ব [ 10 ], কারণ তারা মূল্যায়নের ক্রমকে বিপরীত করেছে, যথাক্রমে বাহ্যিক বা অভ্যন্তরীণ ফাংশনগুলি প্রথমে মূল্যায়ন করা হয় কিনা। একটি উল্টোপাল্ট গাছটি কল্পনা করুন, তারপরে শাখাগুলি শীর্ষ স্তরের ফাংশন ট্রাঙ্কের জন্য ফাংশন ট্রি শাখার টিপস থেকে আগ্রহী মূল্যায়ন করুন; যদিও অলস ট্রাঙ্ক থেকে শাখা টিপস পর্যালোচনা করে। আগ্রহীর সাথে কনজেক্টিভ পণ্য নেই ("এবং", a / কে / একটি শ্রেণিবদ্ধ "পণ্য") এবং অলসির সাথে বিচ্ছিন্ন কপোড্রুকট ("বা", একটি / কে / একটি শ্রেণিবদ্ধ "অঙ্কগুলি") নেই [ 11 ]।
কর্মক্ষমতা
আগ্রহী
অবসানহানির মতো, কনজেক্টিভ ফাংশনাল কম্পোজিশনের সাথে আগ্রহী আগ্রহী, অর্থাৎ কম্পোজিশনাল কন্ট্রোল স্ট্রাকচার অযথা কাজ করে যা অলসতার সাথে সম্পন্ন হয় না। জন্য উদাহরণস্বরূপ , উৎসুক সাগ্রহে এবং অকারণে, Booleans সমগ্র তালিকা মানচিত্র যখন এটি একটি ভাঁজ সঙ্গে গঠিত হয় যে প্রথম সত্য উপাদান বন্ধ।
এই অপ্রয়োজনীয় কাজটি খাঁটি ফাংশন সহ উভয়ই আগ্রহী বনাম অলসতার ক্রমিক সময় জটিলতায় অতিরিক্ত লগ এন ফ্যাক্টারের দাবি করা "আপ" করার কারণ । একটি সমাধান হ'ল অলস কন্সট্রাক্টরগুলি (যেমন optionচ্ছিক অলস পণ্যগুলির সাথে আগ্রহী) সহ ফান্টেক্টরগুলি (উদাহরণস্বরূপ তালিকাগুলি) ব্যবহার করা, কারণ আগ্রহের সাথে অভ্যর্থনাটির ভুলটি অভ্যন্তরীণ ফাংশন থেকে উদ্ভূত হয়। এটি কারণ পণ্যগুলি গঠনমূলক ধরণের, অর্থাত্ প্রাথমিক ফিক্সপয়েন্টে প্রাথমিক বীজগণিত সহ প্রেরণামূলক প্রকার [ 11 ]
অলস
সমাপ্তিহীনতার মতো অলসতাও বিচ্ছিন্ন কার্যকরী রচনার সাথে খুব অলস, অর্থাত্ সংযোজনীয় চূড়ান্ততা প্রয়োজনের পরে পরে ঘটতে পারে, ফলে অপ্রয়োজনীয় কাজ এবং দীর্ঘসূত্রতার অ-নির্ধারণবাদ উভয়ই উত্সাহী হয় না [ 10 ] [ ১১ ] । চূড়ান্ততার উদাহরণগুলি হল রাষ্ট্র, সময়সীমা, অবসানহীনতা এবং রানটাইম ব্যতিক্রম। এগুলি অপরিহার্য পার্শ্ব-প্রতিক্রিয়াগুলি রয়েছে, তবে এমনকি খাঁটি ঘোষিত ভাষায় (যেমন হাস্কেল), অপরিহার্য আইও মনডে রাষ্ট্র রয়েছে (দ্রষ্টব্য: সমস্ত মনড অপরিহার্য নয়!) স্থান বরাদ্দের ক্ষেত্রে অন্তর্ভুক্ত, এবং সময় অপরিহার্য রাষ্ট্রের সাথে সম্পর্কিত বাস্তব জগতে. এমনকি alচ্ছিক আগ্রহী কপোড্রাক্টাক্টসের সাথে আলস্য ব্যবহার করা অভ্যন্তরীণ কোপোডাক্টগুলিতে "আলস্যতা" ফাঁস করে দেয় কারণ অলসতার সাথে বাহ্যিক ক্রিয়া থেকে অলসতা উদ্ভূত হয়(নন-টার্মিনেশন বিভাগে উদাহরণটি দেখুন, যেখানে == একটি বাইরের বাইনারি অপারেটর ফাংশন)। এর কারণ হ'ল কপোড্রাক্টাক্টস চূড়ান্ততার সাথে আবদ্ধ থাকে, অর্থাত্ একটি চূড়ান্ত বস্তুর উপর চূড়ান্ত বীজগণিত সহ সংযুক্তিযুক্ত প্রকার [ 11 ]।
অলস নকশা indeterminism এবং লেটেন্সি এবং স্থান জন্য ফাংশন ডিবাগ ঘটায়, যার মধ্যে ডিবাগিং কারণে সম্ভবত প্রোগ্রামারদের সংখ্যাগরিষ্ঠ ক্ষমতা পরলোক হল মধ্যে অনৈক্য ঘোষিত ফাংশন অনুক্রমের এবং রানটাইম অর্ডার অফ মূল্যায়ন। আগ্রহী দিয়ে মূল্যায়ন করা অলস খাঁটি ফাংশনগুলি রানটাইমে পূর্বে অদেখা অ-সমাপ্তির সম্ভাব্য পরিচয় দিতে পারে। বিপরীতে, অলস সঙ্গে মূল্যায়ন উত্সাহী খাঁটি ফাংশন, সম্ভাব্যভাবে রানটাইমে পূর্বে অদেখা স্থান এবং বিলম্বিতা অনির্দিষ্টকালের পরিচয় দিতে পারে।
অ পরিসমাপ্তি
সংকলন-সময়ে, হালটিং সমস্যা এবং একটি টিউরিং সম্পূর্ণ ভাষায় পারস্পরিক পুনর্বিবেচনার কারণে ফাংশনগুলি সাধারণত সমাপ্তির গ্যারান্টি দেওয়া যায় না।
আগ্রহী
উত্সাহী তবে অলস নয়, Head"এবং" এর সংমিশ্রনের জন্য Tail, যদি হয় Headবা শেষ Tailহয় না তবে যথাক্রমে হয় List( Head(), Tail() ).tail == Tail()বা List( Head(), Tail() ).head == Head()সত্য হয় না কারণ বাম দিকটি না করে এবং ডানদিকটি সমাপ্ত করে।
যদিও অলসভাবে উভয় পক্ষই সমাপ্ত হয়। এইভাবে আগ্রহী কনজেক্টিভ পণ্যগুলির সাথে অত্যধিক আগ্রহী এবং সেই ক্ষেত্রে যেখানে এটি অপরিহার্য নয় সেগুলিতে অ-টার্মিনেটস (রানটাইম ব্যতিক্রমগুলি সহ)।
অলস
অলস তবে উত্সাহী নয়, 1"বা" এর বিভাজনের জন্য 2, যদি fএটি শেষ হয় না, তবে List( f ? 1 : 2, 3 ).tail == (f ? List( 1, 3 ) : List( 2, 3 )).tailসত্য নয় কারণ বাম দিকটি সমাপ্ত হয়, এবং ডানদিকটি হয় না।
যদিও উত্সাহের সাথে উভয় পক্ষই সমাপ্ত হয় না তাই সমতা পরীক্ষা কখনও হয় না। সুতরাং অলস বিচ্ছিন্ন কপোড্রুক্টসের সাথে খুব অলস হয় এবং এই ক্ষেত্রে আগ্রহীদের চেয়ে বেশি কাজ করার পরে (রানটাইম ব্যতিক্রম সহ) বন্ধ করতে ব্যর্থ হয়।
[ 10 ] ঘোষিত ঘোষণা এবং ধারাবাহিক দ্বৈততা, ফিলিনস্কি, বিভাগ 2.5.4.4 সিবিভি এবং সিবিএন এর তুলনা এবং এসসিএলে 3.6.1 সিবিভি এবং সিবিএন।
[ ১১ ] ঘোষকীয় ধারাবাহিকতা এবং শ্রেণিবদ্ধ দ্বৈততা, ফিলিনস্কি, বিভাগগুলি ২.২.১ পণ্য এবং কপোড্রাক্টস, ২.২.২ টার্মিনাল এবং প্রাথমিক সামগ্রী, অলস পণ্যগুলির সাথে 2.5.2 সিবিভি এবং উত্সাহী কোপোড্রুক্টসের সাথে 2.5.3 সিবিএন।