কোনও প্রোগ্রামের শব্দার্থকতা তার আচরণের একটি মডেল যা কোনও বৈজ্ঞানিক মডেলের মতো আপনি যে বিষয়গুলি অধ্যয়ন করতে চান না সেগুলি উপেক্ষা করে।
একটি প্রোগ্রাম কার্যকর করার একটি অত্যন্ত বিস্তৃত মডেল কম্পিউটারের এটি সম্পাদনকারী শারীরিক আচরণের মডেল করবে যার মধ্যে মৃত্যুদণ্ড কার্যকর করার সময়, বিদ্যুত ব্যবহার, তড়িৎ চৌম্বকীয় বিকিরণ ইত্যাদি অন্তর্ভুক্ত থাকে Such এই জাতীয় দিকগুলি খুব কমই বিবেচনায় নেওয়া হয় কারণ এগুলি খুব কমই প্রাসঙ্গিক। তা সত্ত্বেও এগুলি কিছু সময় আসে না: একটি উড়োজাহাজ অটোপাইলটের একটি দরকারী মডেলের রানটাইম তথ্য অন্তর্ভুক্ত করা দরকার, ক্রেডিট কার্ডের সুরক্ষার একটি দরকারী মডেলকে বৈদ্যুতিন চৌম্বকীয় বিকিরণ অন্তর্ভুক্ত করতে হবে, ...
সাধারণ শব্দার্থবিদ্যায়, সময় ও বিদ্যুৎ ব্যবহারের মতো পার্শ্ব প্রতিক্রিয়া উপেক্ষা করা হয়। এমনকি একটি জাগতিক সেটিংয়ে যেখানে আপনি হাস্কেল ইন্টারপ্রেটার প্রম্পটে কোনও অভিব্যক্তি টাইপ করেন, ফলাফলের মুদ্রণটি একটি পার্শ্ব প্রতিক্রিয়া হয় (যদি আপনি কোনও অসীম বস্তু মুদ্রণ করার চেষ্টা করেন তবে এটি গুরুত্বপূর্ণ)। যদি হাস্কেল ইন্টারপ্রেটার স্মৃতিশক্তি থেকে দূরে চলে যায় তবে এটি একটি "রিয়েল-ওয়ার্ল্ড" মডেলটিতে একটি পর্যবেক্ষণযোগ্য পার্শ্ব প্রতিক্রিয়া, তবে হাস্কেলের কোনও আদর্শ মডেল নয় যা কার্যকরভাবে আনবাউন্ড কম্পিউটেশনকে মঞ্জুরি দেয়।
একটি পর্যবেক্ষণযোগ্য পার্শ্ব প্রতিক্রিয়া হ'ল এটি শব্দার্থবিদ্যায় মডেল করা। প্রোগ্রামিং ল্যাঙ্গুয়েজের সাধারণ মডেলগুলিতে, মেমরির গ্রাহ্যতা মডেল করা হয় না, সুতরাং এমন একটি গণনা যা 1TB স্টোরেজ প্রয়োজন তা খাঁটি হতে পারে, আপনি যদি এটি আপনার পিসিতে চালানোর চেষ্টা করেন তবে এটি অবশ্যই ব্যর্থ হয়।
আর এক ধরণের অ-পর্যবেক্ষণযোগ্য পার্শ্ব প্রতিক্রিয়া হ'ল এটি ফাংশনের অভ্যন্তরীণ। এটি, আমি মনে করি, বেশিরভাগ শব্দার্থবিজ্ঞানী অ-পর্যবেক্ষণযোগ্য পার্শ্ব প্রতিক্রিয়া সম্পর্কে কথা বলার সময় কী ভাববেন। অভ্যন্তরীণভাবে পরিবর্তনীয় ডেটা ব্যবহার করে এমন একটি গণনা বিবেচনা করুন, তবে প্রোগ্রামের অন্য কোনও অংশের সাথে এই পরিবর্তনীয় ডেটা ভাগ করে না। উদাহরণস্বরূপ, একটি তালিকা বাছাইকরণ ফাংশন যা তালিকার মতো একই উপাদানগুলির সাথে অ্যারে তৈরি করে, স্থানে অ্যারেটি সাজিয়ে তোলে এবং তাদের চূড়ান্ত ক্রমে অ্যারে হিসাবে উপাদান যুক্ত একটি তালিকা প্রদান করে: এই ফাংশনটির সুব এক্সপ্রেসনের একটি সিনটিক মডেলটি প্রদর্শন করে এফেক্টস (অ্যারের পরিবর্তন), তবে ফাংশনটির নিজস্ব কোনও বাহ্যিক পার্শ্ব প্রতিক্রিয়া নেই, সুতরাং এটি খাঁটি।
আরও সূক্ষ্ম উদাহরণের জন্য, একটি ফাংশন বিবেচনা করুন যা অস্থায়ী ফাইলটিতে কিছু ডেটা লিখে এবং নিজেই পরিষ্কার হয়ে যায়। শব্দার্থবিজ্ঞানের যেখানে অস্থায়ী ফাইল এবং প্রোগ্রামগুলির জন্য সর্বদা পর্যাপ্ত জায়গা থাকে সেখানে অস্থায়ী ফাইলগুলি ভাগ করে না, ফাংশনটির কোনও পার্শ্ব প্রতিক্রিয়া নেই; অস্থায়ী ফাইলটি ফাংশন দ্বারা ব্যবহৃত অতিরিক্ত মেমরি হিসাবে কাজ করে। একটি শব্দার্থবিজ্ঞানের ক্ষেত্রে যা ফাইল সিস্টেমের পূর্ণ শর্তাদি বিবেচনায় নেয়, ফাংশনটির একটি পার্শ্ব প্রতিক্রিয়া থাকে - এটি বাহ্যিক পরিস্থিতির কারণে ব্যর্থ হতে পারে। মেশিনটি ক্রাশ করতে দেয় এমন শব্দার্থে, ফাংশনটির একটি পার্শ্ব প্রতিক্রিয়া রয়েছে: ফাংশনটি কার্যকর করার সময় যদি ক্রাশ হয়, অস্থায়ী ফাইলটি পিছনে থাকতে পারে। একটি শব্দার্থবিজ্ঞান যা একই সাথে সম্পাদিত প্রোগ্রামগুলি অস্থায়ী ফাইলটি দেখতে এবং সম্ভবত সংশোধন করার অনুমতি দেয়, ফাংশনটির একটি পার্শ্ব প্রতিক্রিয়া রয়েছে।