সাইমন একটি এক্সটেনশনাল দৃষ্টিকোণ থেকে মূলত সঠিক। আমরা আধুনিক কার্যকরী ভাষাগুলির শব্দার্থকগুলি কী তা খুব ভাল করে জানি এবং সেগুলি একে অপরের অপেক্ষাকৃত ছোট ছোট প্রকরণ - এগুলি প্রত্যেকেই এককভাবে পৃথক অনুবাদকে একটি একক রূপক রূপরেখায় উপস্থাপন করে। এমনকি স্কিমের মতো একটি ভাষা (প্রথম শ্রেণীর নিয়ন্ত্রণের সাথে ডায়নামিকভাবে উচ্চ-অর্ডারের অপরিহার্য ভাষা) একটি শব্দার্থবিজ্ঞান রয়েছে যা এমএল এবং হাস্কেলের কাছাকাছি।
ভী
তবে আধুনিক টাইপড ফাংশনাল ভাষাগুলির ব্যাখ্যার জন্য উপযুক্ত কোনও বিভাগে যেতে, জিনিসগুলি বেশ ভয়ঙ্কর হয়ে ওঠে। মূলত, আপনি এই ডোমেনের উপর আংশিক সমতুল্য সম্পর্কের একটি আলট্রামেট্রিক সমৃদ্ধ বিভাগটি তৈরি করবেন। (উদাহরণস্বরূপ, বার্কেডাল, স্টোরিং এবং থমসবার্গের "প্যারামেট্রিক পলিমারফিজম, জেনারেল রেফারেন্সস এবং পুনরাবৃত্ত প্রকারের রিয়েলিজিবিলিটি সিমানটিকস" দেখুন)) অপারেশনাল শব্দার্থবিজ্ঞানেরাই পছন্দ করে এমন লোকেরা স্টাফ-ইনডেক্সড যৌক্তিক সম্পর্ক হিসাবে এই জিনিসটিকে চেনে। (উদাহরণস্বরূপ, আহমেদ, ড্রেয়ার এবং রসবার্গের "রাজ্য-নির্ভরশীল প্রতিনিধিত্বের স্বাধীনতা" দেখুন)) যেভাবেই হোক না কেন, কৌশলগুলি তুলনামূলকভাবে নতুন।
a -> b⟨ একটি ⟩ → টি⟨ খ ⟩⟨ একটি ⟩ → ⟨ খ ⟩টি( ক )⟨ একটি ⟩a→
সমীকরণীয় তত্ত্ব যতদূর যায়, যেহেতু এই ভাষাগুলিকে উভয়ই একই ভাষার সামান্য পৃথক উপধারায় অনুবাদ করে বর্ণনা করা যায়, তাই তাদের একে অপরের সিনট্যাক্টিক প্রবর্তন বলা সম্পূর্ণ ন্যায়সঙ্গত।
এমএল এবং হাস্কেলের মধ্যে অনুভূতির পার্থক্যটি আসলে দুটি ভাষার অন্তরঙ্গ বৈশিষ্ট্য থেকে উদ্ভূত হয় - তা হ'ল মৃত্যুদন্ড কার্যকর করার সময় এবং মেমোরি খরচ। এমএলের একটি কম্পোজিশনাল পারফরম্যান্স মডেল রয়েছে (যেমন, কোনও প্রোগ্রামের সময় / স্থানের ব্যয় তার সাবটারমের সময় / স্থানের ব্যয় থেকে গণনা করা যেতে পারে), যেমনটি সত্যিকারের নাম অনুসারে ভাষা হবে। প্রকৃত হাস্কেল কল-বাই-প্রয়োজনের সাথে, এক ধরণের স্মৃতিচারণের মাধ্যমে প্রয়োগ করা হয় এবং ফলস্বরূপ এর কার্যকারিতা গঠনমূলক হয় না - ভেরিয়েবলের সাথে আবদ্ধ একটি এক্সপ্রেশনটি কতক্ষণ সময় নেয় তা নির্ভর করে এটি আগে ব্যবহৃত হয়েছে কিনা তা নির্ভর করে। এটি উপরে বর্ণিত শব্দার্থবিজ্ঞানের মডেল নয় is
আপনি যদি ইনটেনশনাল বৈশিষ্ট্যগুলিকে আরও গুরুত্ব সহকারে নিতে চান তবে এমএল এবং হাস্কেল আরও গুরুতর পার্থক্য দেখাতে শুরু করবেন। এটা এখনও তাদের জন্য একটি সাধারণ metalanguage উইল সম্ভবত সম্ভব, কিন্তু ধরনের ব্যাখ্যা অনেক নিয়মানুগ ভাবে ভিন্ন করবে প্রমাণ-তত্ত্বীয় ধারণা এর সাথে সম্পর্কিত মনোযোগ । এটি সম্পর্কে জানার জন্য একটি ভাল জায়গা হ'ল নোয়াম জিলবার্গারের পিএইচডি থিসিস।