অন্তর্নিহিত প্রশ্ন:
লাম্বদা ক্যালকুলাস আমাদের জন্য কী করে যে আমরা বেসিক ফাংশন বৈশিষ্ট্য এবং স্বীকৃতি সাধারণত মিডল স্কুল বীজগণিতে শিখেছি তা দিয়ে করতে পারি না?
প্রথমত, ল্যাম্বদা ক্যালকুলাসের প্রসঙ্গে বিমূর্ততাটির অর্থ কী? অ্যাবস্ট্রাক্ট শব্দটি সম্পর্কে আমার বোঝা এমন একটি বিষয় যা যন্ত্রপাতি থেকে তালাকপ্রাপ্ত, একটি ধারণার ধারণাগত সংক্ষিপ্তসার।
যাইহোক, ল্যাম্বদা ফাংশনগুলি ফাংশনটির নাম বাদ দিয়ে নির্দিষ্ট স্তরের বিমূর্ততা রোধ করে। উদাহরণ স্বরূপ:
f(x) = x + 2
h(x, y) = x + 5 y
তবে এই ফাংশনগুলির যন্ত্রপাতি নির্ধারণ না করেও আমরা সহজেই তাদের রচনা সম্পর্কে কথা বলতে পারি। উদাহরণ স্বরূপ:
1. h(x, y) . f(x) . f(x) . h(x, y) or
2. h . f . f . h
আমরা চাইলে যুক্তিগুলি অন্তর্ভুক্ত করতে পারি, বা যা ঘটছে তার একটি সংক্ষিপ্ত বিবরণ দেওয়ার জন্য আমরা পুরোপুরি বিমূর্তিটি করতে পারি। এবং আমরা দ্রুত তাদের একক ফাংশনে হ্রাস করতে পারি। আসুন রচনাটি দেখুন 2। আমার জোরের উপর নির্ভর করে আমি লিখতে পারি এমন শিক্ষার্থীদের স্তরের বিশদ স্তর থাকতে পারে:
g = h . f . f . h
g(x, y) = h(x, y) . f(x) . f(x) . h(x, y)
g(x, y) = h . f . f . h = x + 10 y + 4
লাম্বদা ক্যালকুলাস দিয়ে উপরের সম্পাদন করা যাক, বা কমপক্ষে ফাংশনগুলি সংজ্ঞায়িত করুন। আমি নিশ্চিত যে এটি ঠিক, তবে আমি বিশ্বাস করি প্রথম এবং দ্বিতীয় এক্সপ্রেশনগুলি 2 দ্বারা বৃদ্ধি হবে।
(λuv.u(u(uv)))(λwyx.y(wyx))x
এবং 5y দ্বারা গুণ করতে হবে।
(λz.y(5z))
বিমূর্ত না হয়ে বরং এটি যুক্ত করা, গুণ করা ইত্যাদি কী বোঝায় তার খুব যন্ত্রের মধ্যে .ুকে পড়ে মনে হয় বিমূর্ততা, আমার মনে, মানে নিম্ন স্তরের চেয়ে উচ্চ স্তরের।
তদতিরিক্ত, ল্যাম্বডা ক্যালকুলাস কেন এমনকি একটি জিনিস তা দেখার জন্য আমি লড়াই করছি। এতে কী লাভ?
(λuv.u(u(uv)))(λwyx.y(wyx))x
উপর
h(x) = x + 5 y
বা একটি সম্মিলিত স্বরলিপি
Hxy.x+5y
এমনকি হাস্কেলের স্বীকৃতি
h x y = x + 5 * y
আবার ল্যাম্বদা ক্যালকুলাস আমাদের জন্য কী করে যে আমরা এফ (এক্স) স্টাইল ফাংশন বৈশিষ্ট্য এবং স্বরলিপিটি দিয়ে অনেকের সাথে পরিচিত।