আমি "রিয়েল ওয়ার্ল্ডের জন্য ফাংশনাল প্রোগ্রামিং" বইটি পড়ছিলাম। এটি জরুরী এবং কার্যকরী প্রোগ্রামিং ভাষার সাথে তুলনা করে শুরু হয়েছিল। এবং এতে বলা হয়েছে যে কীভাবে কার্যকরী প্রোগ্রামিংয়ের 'মান' এবং 'এক্সপ্রেশন' অপরিহার্য প্রোগ্রামিংয়ের 'ভেরিয়েবল' এবং 'ফাংশন' থেকে আলাদা। আলোচনা থেকে আমি এক ধরণের ধারণা তৈরি করেছি যা -
কার্যকরী প্রোগ্রামিং ভাষাগুলিতে তাদের অপরিহার্য অংশগুলির তুলনায় সংকলন সময় অপ্টিমাইজেশন করার আরও বেশি সুযোগ রয়েছে।
এটা সত্যি?
উত্তর:
কার্যকরী প্রোগ্রামিং ভাষাগুলি আরও অনেক বেশি সংকলন করে সময় অপ্টিমাইজেশন করে। বিশুদ্ধতার একটি কারণ হ'ল রাজ্য না থাকায় সম্মতি তুচ্ছ। সুতরাং সংকলক প্রোগ্রামের আচরণ পরিবর্তন না করে দুটি শাখা নিতে এবং এগুলিকে সহজেই একত্রীকরণ করতে পারে।
একই সময়ে, রাষ্ট্র ব্যতীত যে কোনও কিছু গণনা করা যায় (অর্থাত্ হ্যাস্কেলের মধ্যে অ-মোনাডিক কিছু) আগাম গণনা করা যায় কম্পাইলার দ্বারা, তবে এই ধরনের গণনা ব্যয়বহুল হতে পারে এবং সম্ভবত এটি কেবলমাত্র আংশিকভাবে সম্পন্ন হয়।
অতিরিক্তভাবে, যে কোনও কিছু কম্পিউটারের প্রয়োজন হয় না তা প্রোগ্রামের বাইরে সম্পূর্ণরূপে অনুকূলিত করা যায়।
যে নীতিগতভাবে তাদের অপরিহার্য অংশগুলির তুলনায় কার্যকরী ভাষার জন্য আরও বেশি সংকলন সময় অনুকূলকরণের সম্ভাবনা রয়েছে সম্ভবত সম্ভবত এটি সত্য is
আরও মজার বিষয় হ'ল, যদি সেগুলি প্রকৃতপক্ষে বর্তমান সংকলকগুলিতে প্রয়োগ করা হয় এবং এই অপ্টিমাইজেশানগুলি বাস্তবে কতটা প্রাসঙ্গিক হয় (অর্থাত্ কোনও প্রাক্কলনের পরিবেশে আইডিয়োম্যাটিক 'রিয়েল লাইফ (টিএম)' কোডের একটি চূড়ান্ত কার্য সম্পাদন), প্রিরিওর পূর্বাভাসযোগ্য সংকলক সেটিংস সহ।
উদাহরণস্বরূপ কুখ্যাত কম্পিউটার ল্যাঙ্গুয়েজ বেঞ্চমার্কস গেমের জন্য হাস্কেল জমা দেওয়া (এটি খারাপ যেমন হতে পারে - তবে এই মুহূর্তে এটির মতো নয় - উল্লেখযোগ্যভাবে আরও ভাল কিছু এখানে রয়েছে) এই ধারণাটি দেয় যে একটি উল্লেখযোগ্য পরিমাণ সময় ব্যয় করা হয়েছে ম্যানুয়াল অপ্টিমাইজেশান, যা "সম্ভাব্য সংকলক অপটিমাইজেশন কারণে কারণে" দাবির মুখোমুখি হয়েছিলinsert some property about FP languages here এটি দেখতে আপাতদৃষ্টিতে প্রাসঙ্গিক বাস্তবতার তুলনায় (বর্তমানে কমপক্ষে) তাত্ত্বিক সম্ভাবনার চেয়ে বেশি দেখা যায়।
আমি এই বিষয়টিতে ভুল প্রমাণিত হলেও খুশি হব।
কার্যক্ষম শৈলীতে, একটি প্রোগ্রামের মাধ্যমে মানগুলির প্রবাহ খুব, খুব দৃশ্যমান (সংকলক এবং প্রোগ্রামার উভয়ের কাছে)। এটি সংকলককে মানগুলি কোথায় সংরক্ষণ করতে হবে, কতক্ষণ সেগুলি রাখিবে, ইত্যাদি স্থির করে নেওয়ার জন্য অনেকটা ছাড়িয়ে যায়।
একটি অপরিহার্য ভাষায়, সংকলক প্রোগ্রামারকে এমন একটি মডেল প্রতিশ্রুতি দেয় যেখানে বেশিরভাগ ভেরিয়েবলগুলি মেমরির আসল অবস্থানগুলির সাথে মিল রাখে যা নির্ধারিত জীবনকাল ধরে থাকে। সম্ভাব্যভাবে, কোনও বিবৃতি এই অবস্থানগুলির যে কোনও একটি থেকে (বা লিখতে!) পড়তে পারে, সুতরাং সংকলক কেবলমাত্র নিবন্ধীকৃত বরাদ্দের সাথে মেমরি অবস্থানগুলি প্রতিস্থাপন করতে পারে, দুটি ভেরিয়েবলকে একক স্টোরেজ স্থানে একীভূত করতে পারে, বা যেখানে একটি বেদনাদায়ক বিশ্লেষণ করার পরে অনুরূপ অপ্টিমাইজেশন সম্পাদন করতে পারে can অন্য প্রোগ্রামে পরিবর্তনশীল উল্লেখ করা যেতে পারে।
এখন, দুটি সতর্কতা রয়েছে:
তবে সাধারণ প্রশ্নের উত্তর দেওয়ার জন্য, হ্যাঁ, একটি কার্যকরী দৃষ্টান্ত সংকলকটিকে অপরিহার্য করে তুলতে প্রচুর স্বাধীনতা দেয় যে এটি একটি অত্যাবশ্যক সেটিংসে নেই।
mainএটিই নিজেকে রাষ্ট্র ব্যবহার করে এমন একটি রাষ্ট্রের পরিবর্তে একটি রাষ্ট্র রূপান্তর ফাংশন।