ল্যাম্বডাস এবং ক্লোজারগুলির চারপাশে প্রচুর বিভ্রান্তি রয়েছে, এমনকি এই স্ট্যাকওভারফ্লো প্রশ্নের এখানে উত্তরও রয়েছে। র্যান্ডম প্রোগ্রামারদের যারা নির্দিষ্ট প্রোগ্রামিং ভাষার বা অন্যান্য পুনের প্রোগ্রামারদের সঙ্গে অনুশীলন থেকে বন্ধ সম্পর্কে শিখেছি চাওয়ার পরিবর্তে, আপনি একটি যাত্রা নেওয়া উৎস (যেখানে এটি সমস্ত শুরু করেন)। যেহেতু lambdas এবং বন্ধ আসা থেকে ল্যামডা ক্যালকুলাস '30s আগে প্রথম ইলেকট্রনিক কম্পিউটার এমনকি অস্তিত্ব মধ্যে অ্যালোঞ্জো চার্চ ফিরে দ্বারা আবিষ্কৃত, এই উৎস আমি যে বিষয়ে কথা বলছি।
ল্যাম্বদা ক্যালকুলাস বিশ্বের সহজ প্রোগ্রামিং ভাষা। আপনি কেবল এতে কাজ করতে পারেন: ►
- আবেদন: একটিতে অন্যের কাছে একটি এক্সপ্রেশন প্রয়োগ করা, নির্দেশিত
f x।
(এটিকে একটি ফাংশন কল হিসাবে ভাবুন, ফাংশনটি কোথায় fএবং xএটির একমাত্র পরামিতি)
- সংক্ষিপ্তসার: এই চিহ্নটি কেবল একটি "স্লট" হিসাবে চিহ্নিত হওয়ার জন্য একটি অভিব্যক্তি হিসাবে চিহ্নিত একটি চিহ্নকে আবদ্ধ করে, একটি ফাঁকা বাক্সটি ভ্যালুতে পূর্ণ হওয়ার জন্য অপেক্ষা করছে, যেমনটি ছিল "ভেরিয়েবল"। এটি গ্রীক অক্ষর
λ(ল্যাম্বদা), তারপরে প্রতীকী নাম (উদাঃ x), তারপরে .অভিব্যক্তির আগে একটি বিন্দুর সাহায্যে করা হয়। এটি তখন একটি প্যারামিটারের প্রত্যাশা করে ক্রিয়াটিকে ফাংশনে রূপান্তর করে । উদাহরণস্বরূপ: এক্সপ্রেশনটি নেয় এবং বলে যে এই অভিব্যক্তির প্রতীকটি একটি সীমাবদ্ধ পরিবর্তনশীল - এটি প্যারামিটার হিসাবে সরবরাহ করে এমন একটি মানের সাথে প্রতিস্থাপিত হতে পারে।
মনে রাখবেন যে এইভাবে সংজ্ঞায়িত ফাংশনটি বেনামে
λx.x+2x+2x
- এটা তাই আপনি এটি এখনো পড়ুন না পারেন, একটি নাম আছে না, কিন্তু আপনি করতে পারেন অবিলম্বে কল (অ্যাপ্লিকেশন মনে আছে?) এটা প্যারামিটার এটা ভালো, জন্য অপেক্ষা করছে সরবরাহ দ্বারা: (λx.x+2) 7। তারপরে এক্সপ্রেশনটি (এই ক্ষেত্রে একটি আক্ষরিক মান) প্রয়োগ করা ল্যাম্বদা এর subexpression 7হিসাবে প্রতিস্থাপন করা xহয় x+2, সুতরাং আপনি পাবেন 7+2, যা পরে 9সাধারণ পাটিগণিত নিয়ম দ্বারা হ্রাস ।
সুতরাং আমরা একটি রহস্য সমাধান করেছি:
লাম্বদা হ'ল উপরের উদাহরণ থেকে অজ্ঞাতনামা ফাংশনλx.x+2 ,।
বিভিন্ন প্রোগ্রামিং ভাষায়, ফাংশনাল অ্যাবস্ট্রাকশন (ল্যাম্বদা) এর সিনট্যাক্স পৃথক হতে পারে। উদাহরণস্বরূপ, জাভাস্ক্রিপ্টে এটি দেখতে এরকম দেখাচ্ছে:
function(x) { return x+2; }
এবং আপনি অবিলম্বে এটি এর মতো কিছু প্যারামিটারে এটি প্রয়োগ করতে পারেন:
(function(x) { return x+2; })(7)
অথবা আপনি এই বেনাম ফাংশন (ল্যাম্বদা) কিছু ভেরিয়েবলের মধ্যে সঞ্চয় করতে পারেন:
var f = function(x) { return x+2; }
যা কার্যকরভাবে এটিকে একটি নাম fদেয়, আপনাকে এটি উল্লেখ করতে এবং পরে একাধিকবার কল করার অনুমতি দেয়, যেমন:
alert( f(7) + f(10) ); // should print 21 in the message box
তবে আপনার নামটির দরকার নেই। আপনি তাৎক্ষণিকভাবে ফোন করতে পারেন:
alert( function(x) { return x+2; } (7) ); // should print 9 in the message box
এলআইএসপিতে ল্যাম্বডাস এই জাতীয়ভাবে তৈরি করা হয়:
(lambda (x) (+ x 2))
এবং আপনি অবিলম্বে একটি প্যারামিটারে প্রয়োগ করে এমন ল্যাম্বডাকে কল করতে পারেন:
( (lambda (x) (+ x 2)) 7 )
ঠিক আছে, এখন অন্য রহস্য সমাধান করার সময় এসেছে:
বন্ধ কী কী । এটি করার জন্য, আসুন ল্যাম্বদা এক্সপ্রেশনগুলিতে
চিহ্নগুলি (
ভেরিয়েবল ) সম্পর্কে কথা বলি ।
যেমনটি আমি বলেছি, ল্যাম্বডা বিমূর্ততা যা করে তা হ'ল এটির প্রতিক্রিয়ার মধ্যে একটি প্রতীককে আবদ্ধ করে রাখে , যাতে এটি একটি বিকল্প পরামিতি হয়ে যায় । যেমন একটি প্রতীক বাউন্ড বলা হয় । তবে অভিব্যক্তিতে যদি অন্য চিহ্ন থাকে? উদাহরণস্বরূপ: λx.x/y+2। এই অভিব্যক্তিটিতে, প্রতীকটি xতার λx.আগে লাম্বদা বিমূর্তনের দ্বারা আবদ্ধ । তবে অন্য প্রতীকটি, yআবদ্ধ নয় - এটি নিখরচায় । এটি কী এবং এটি কোথা থেকে এসেছে তা আমরা জানি না, সুতরাং আমরা এর অর্থ কী এবং এটি কোন মূল্যকে উপস্থাপন করে তা আমরা জানি না এবং তাই এর yঅর্থ কী তা খুঁজে না পাওয়া পর্যন্ত আমরা এই অভিব্যক্তিটিকে মূল্যায়ন করতে পারি না ।
প্রকৃতপক্ষে, অন্য দুটি চিহ্নের সাথে একই হয়, 2এবং +। এটি ঠিক যে আমরা এই দুটি চিহ্নের সাথে এতটাই পরিচিত যে আমরা সাধারণত ভুলে যাই যে কম্পিউটার সেগুলি জানে না এবং কোথাও এগুলি সংজ্ঞায়িত করে তাদের অর্থ কী তা আমাদের বলতে হবে, যেমন একটি লাইব্রেরি বা ভাষায়।
আপনি অভিব্যক্তির বাইরে, এর "পার্শ্ববর্তী প্রসঙ্গে", যাকে এর পরিবেশ বলা হয় এর বাইরে অন্য কোথাও নির্ধারিত নিখরচায় প্রতীকগুলি ভাবতে পারেন । পরিবেশটি একটি বৃহত্তর অভিব্যক্তি হতে পারে যে এই অভিব্যক্তিটি একটি অংশ (যেমন কুই-গন জিন বলেছেন: "এখানে সর্বদা একটি বড় মাছ থাকে";)), বা কোনও গ্রন্থাগারে বা ভাষায় ( আদিম হিসাবে )।
এটি আমাদের ল্যাম্বদা এক্সপ্রেশন দুটি বিভাগে বিভক্ত করতে দেয়:
- ক্লোজড এক্সপ্রেশন: এই এক্সপ্রেশনগুলির মধ্যে উপস্থিত প্রতিটি প্রতীক কিছু ল্যাম্বদা বিমূর্তন দ্বারা আবদ্ধ । অন্য কথায়, এগুলি স্বনির্ভর ; তাদের কোনও আশেপাশের প্রসঙ্গ মূল্যায়ন করার প্রয়োজন নেই। এগুলিকে সংযুক্তকারীও বলা হয় ।
- মুক্ত অভিব্যক্তি: এই অভিব্যক্তিগুলির কয়েকটি চিহ্ন সীমাবদ্ধ নয় - অর্থাৎ এগুলির মধ্যে উপস্থিত কিছু চিহ্নগুলি নিখরচায় এবং তাদের কিছু বাহ্যিক তথ্যের প্রয়োজন হয়, এবং এই চিহ্নগুলির সংজ্ঞা আপনি সরবরাহ না করা পর্যন্ত এগুলি মূল্যায়ন করা যায় না।
আপনি পরিবেশ সরবরাহ করে একটি মুক্ত ল্যাম্বডা এক্সপ্রেশন বন্ধ করতে পারেন , যা এই সমস্ত নিদর্শনকে কিছু মানকে আবদ্ধ করে সংজ্ঞায়িত করে (যা সংখ্যা, স্ট্রিং, বেনাম ফাংশন ওরফে ল্যাম্বডাস যাই হোক না কেন…)।
এবং এখানে আসে অবসান অংশ: অবসান একটি এর ল্যামডা অভিব্যক্তি বাইরের প্রসঙ্গ (পরিবেশ) যে মান দিতে সংজ্ঞায়িত চিহ্ন এই বিশেষ সেট বিনামূল্যে প্রতীক এই মত প্রকাশের জন্য, সেগুলিকে আর অ বিনামূল্যে উপার্জন। এটি একটি খোলা ল্যাম্বডা এক্সপ্রেশনকে পরিণত করে, যেখানে এখনও কিছু "অপরিজ্ঞাত" নিখরচায় চিহ্ন রয়েছে, এটি একটি বন্ধ করে দেওয়া হয়েছে , যার কোনও মুক্ত চিহ্ন নেই।
উদাহরণস্বরূপ, যদি আপনার নীচের ল্যাম্বডা এক্সপ্রেশন থাকে:, λx.x/y+2প্রতীকটি xআবদ্ধ, যখন প্রতীকটি yমুক্ত, সুতরাং অভিব্যক্তিটি openমূল্যায়ন করা যায় না যতক্ষণ না আপনি যদি না বলতে চান তবে কী y(এবং এর সাথে একই +এবং 2এটিও মুক্ত)। তবে ধরুন আপনারও এমন পরিবেশ রয়েছে :
{ y: 3,
+: [built-in addition],
2: [built-in number],
q: 42,
w: 5 }
এই পরিবেশ সমস্ত "undefined" (বিনামূল্যে) আমাদের ল্যামডা অভিব্যক্তি থেকে প্রতীক জন্য সরবরাহ সংজ্ঞা ( y, +, 2), এবং বিভিন্ন অতিরিক্ত চিহ্ন ( q, w)। আমাদের যে সংকেতগুলি সংজ্ঞায়িত করতে হবে তা হ'ল পরিবেশের এই উপসেট:
{ y: 3,
+: [built-in addition],
2: [built-in number] }
এবং এটি হ'ল আমাদের ল্যাম্বদা এক্সপ্রেশন বন্ধ করে দেওয়া:>
অন্য কথায়, এটি একটি খোলা ল্যাম্বদা এক্সপ্রেশন বন্ধ করে। এই যেখানে নাম অবসান প্রথম স্থানে থেকে এসেছিলেন, এবং এই কারণেই এই থ্রেড এত লোক এর উত্তর বেশ সঠিক নয়: পি
তাহলে কেন তারা ভুল হচ্ছে? কেন তাদের মধ্যে অনেকেই বলে যে ক্লোজারগুলি মেমরির কিছু ডেটা স্ট্রাকচার, বা তাদের ব্যবহৃত ভাষার কিছু বৈশিষ্ট্য বা তারা ল্যাম্বডাস দিয়ে ক্লোজারগুলিকে কেন বিভ্রান্ত করে? : P: P
ঠিক আছে, সান / ওরাকল, মাইক্রোসফ্ট, গুগল ইত্যাদির কর্পোরেট বিপণনকারীদের দোষ দেওয়া হবে, কারণ এগুলিই তাদের ভাষাগুলিতে এই নির্মাণগুলি বলে (জাভা, সি #, গো ইত্যাদি)। তারা প্রায়শই "ক্লোজার" নামে ডাকে যা কেবল ল্যাম্বডাস বলে মনে হয়। বা তারা লেক্সিকাল স্কোপিং বাস্তবায়নের জন্য তারা একটি নির্দিষ্ট কৌশলকে "ক্লোজারস" বলে ডাকে, এটি হ'ল কোনও ফাংশন তার বাহ্যিক স্কোপে সংজ্ঞা দেওয়ার সময় যে পরিবর্তনগুলি অ্যাক্সেস করতে পারে তা সত্য। তারা প্রায়শই বলে যে ফাংশনটি এই ভেরিয়েবলগুলিকে "আবদ্ধ" করে, এটি বাইরের ফাংশনটি সম্পাদন শেষ হওয়ার পরে ধ্বংস হওয়ার হাত থেকে বাঁচাতে তাদের কিছু ডেটা স্ট্রাকচারে ক্যাপচার করে। তবে এটি স্রেফ পোস্ট ফ্যাক্টাম "ফোকলোর ব্যুৎপত্তি" এবং বিপণন যা কেবল বিষয়গুলিকে আরও বিভ্রান্ত করে তোলে,
এবং এটি আরও খারাপ কারণ এই যে তারা যা বলে তাতে সবসময় কিছুটা সত্য থাকে, যা আপনাকে এটিকে সহজেই মিথ্যা হিসাবে খারিজ করতে দেয় না: পি আমাকে ব্যাখ্যা করতে দিন:
যদি আপনি এমন কোনও ভাষা প্রয়োগ করতে চান যা ল্যাম্বডাসকে প্রথম-শ্রেণীর নাগরিক হিসাবে ব্যবহার করে, আপনি তাদের আশেপাশের প্রসঙ্গে সংজ্ঞায়িত চিহ্নগুলি ব্যবহার করার অনুমতি দিতে হবে (এটি আপনার ল্যাম্বডাসে মুক্ত ভেরিয়েবল ব্যবহার করার জন্য)। আশেপাশের ফাংশনটি ফিরে আসার পরেও এই চিহ্নগুলি অবশ্যই সেখানে থাকতে হবে। সমস্যাটি হ'ল এই চিহ্নগুলি ফাংশনের কিছু স্থানীয় স্টোরেজ (সাধারণত কল স্ট্যাকের সাথে) আবদ্ধ থাকে, যা ফাংশন ফিরে আসার পরে আর থাকবে না। সুতরাং, কোনও ল্যাম্বডা আপনার প্রত্যাশা অনুযায়ী কাজ করার জন্য, আপনাকে কোনওভাবেই এই সমস্ত বিনামূল্যে ভেরিয়েবলগুলি তার বাহ্যিক প্রসঙ্গ থেকে "ক্যাপচার" করতে হবে এবং বাইরের প্রসঙ্গটি চলে গেলেও পরে সংরক্ষণ করতে হবে। এটি হ'ল, আপনাকে বন্ধটি সন্ধান করতে হবেআপনার ল্যাম্বদা (এই সমস্ত বাহ্যিক ভেরিয়েবলগুলি এটি ব্যবহার করে) এবং এটি অন্য কোথাও সংরক্ষণ করুন (হয় অনুলিপি তৈরি করে, বা তাদের জন্য সামনে প্রস্তুত করার জন্য, স্ট্যাকের বাইরে অন্য কোথাও)। এই লক্ষ্য অর্জনের জন্য আপনি যে আসল পদ্ধতিটি ব্যবহার করেন তা হ'ল আপনার ভাষার "প্রয়োগের বিশদ"। এখানে গুরুত্বপূর্ণ কীটি হ'ল বন্ধ , যা আপনার ল্যাম্বদার পরিবেশ থেকে মুক্ত ভেরিয়েবলগুলির সেট যা কোথাও সংরক্ষণ করা দরকার।
ক্লোজারটিকে "ক্লোজার" হিসাবে রূপান্তরিত করার জন্য লোকেরা তাদের ভাষার বাস্তবায়নে যে প্রকৃত ডেটা স্ট্রাকচার ব্যবহার করে তা কল করতে খুব বেশি সময় নেয়নি। কাঠামোটি সাধারণত এ জাতীয় কিছু দেখায়:
Closure {
[pointer to the lambda function's machine code],
[pointer to the lambda function's environment]
}
এবং এই ডেটা স্ট্রাকচারগুলি ল্যাম্বডাস উপস্থাপনের জন্য অন্যান্য ফাংশনগুলিতে পরামিতি হিসাবে ফাংশনগুলি থেকে ফিরে আসে এবং ভেরিয়েবলগুলিতে সংরক্ষণ করা হয় এবং তাদের সংলগ্ন পরিবেশের পাশাপাশি মেশিন কোডটিকে সেই প্রসঙ্গে চালানোর অনুমতি দেয়। কিন্তু এটা শুধু একটি উপায় (অনেক এক) এর বাস্তবায়ন অবসান না অবসান নিজেই।
যেমন আমি উপরে ব্যাখ্যা করেছি, ল্যাম্বডা এক্সপ্রেশনটি বন্ধ করা তার পরিবেশের সংজ্ঞাগুলির উপসেট যা সেই ল্যাম্বডা এক্সপ্রেশনটিতে থাকা মুক্ত ভেরিয়েবলগুলিকে মান দেয়, কার্যকরভাবে এক্সপ্রেশনটি বন্ধ করে দেয় (একটি উন্মুক্ত ল্যাম্বডা এক্সপ্রেশন, যা এখনও মূল্যায়ন করা যায় না) একটি বদ্ধ ল্যাম্বডা এক্সপ্রেশন, যা তখন মূল্যায়ন করা যায়, যেহেতু এতে থাকা সমস্ত চিহ্নগুলি এখন সংজ্ঞায়িত করা হয়েছে)।
এ জাতীয় ধারণাগুলির আসল মূল সম্পর্কে অজানা প্রোগ্রামার এবং ভাষা বিক্রেতাদের আর কিছু যে কেবল "কার্গো কাল্ট" এবং "ভু-ডু যাদু"।
আমি যে আপনার প্রশ্নের উত্তর আশা করি। তবে আপনার যদি কোনও ফলো-আপ প্রশ্ন থাকে তবে তাদেরকে মন্তব্যগুলিতে বিনা দ্বিধায় জিজ্ঞাসা করুন এবং আমি আরও ভাল করে ব্যাখ্যা করার চেষ্টা করব।