সাবটাইপিংয়ের শ্রেণীবদ্ধ শব্দার্থক শব্দটি কী?


17

কারি-হাওয়ার্ড-ল্যামব্যাক থেকে শুরু করে টাইপ থিওরি, লজিকস এবং বিভাগগুলির একটি দুর্দান্ত ট্রিনিটি রয়েছে। আমি কৌতূহলী যে আপনি কোন ধরণের তত্ত্বের সাবস্কিপিং (জোর করে) যুক্ত করার পরে আপনি কী শ্রেণিবদ্ধ শব্দার্থকতা পেয়েছেন - মনে হয় এটি মোটেও যদি খুব বেশি অন্বেষণ করা হয়নি।

সাধারণভাবে, একটি ধরণের তত্ত্বের উপর জবরদস্তি সাবটিপিং যুক্ত করা শক্তিশালী সাধারণীকরণের মতো এর মেটা-তাত্ত্বিক বৈশিষ্ট্যগুলিকে নষ্ট করে না, সুতরাং এর শ্রেণিবদ্ধ শব্দার্থবিজ্ঞানগুলি প্রকৃত আগ্রহের বিষয় হওয়া উচিত, আমি মনে করি!

উত্তর:


17

শব্দার্থগতভাবে, একটি জবরদস্তি কেবল একটি মরফিজম সি : বি , যা উপযুক্ত বিন্দুতে শর্তগুলির ব্যাখ্যায় যুক্ত হয়। এটি যে প্রাথমিক সমস্যাটি সৃষ্টি করে তা একত্রিতকরণের বিষয়টি : আপনি কি নিশ্চিত যে প্রোগ্রামটির অনেকগুলি সম্ভাব্য স্থানে একই শব্দটির সম্ভাব্য জবরদস্তি লুকানো থাকতে পারে, এই শর্তের একটি অনন্য অর্থ থাকবে?:একজনবি:একজনবি

এই বিষয়টির প্রথম চিকিত্সার মধ্যে একটি হ'ল জন রেইনল্ডসের ১৯৮০ এর কাগজ, বিভাগ থিউরি টু টু ডিজাইন টু ডিজিট ইমপ্লিট কনভার্সনস এবং জেনেরিক অপারেটরগুলি , যা দেখায় যে আপনি কীভাবে জবরদস্তির একটি সিস্টেমকে একটি স্পষ্টিক শব্দার্থবিদ্যা দিতে পারেন এবং এটি সুসংগত কিনা তা নিশ্চিত করতে এটি ব্যবহার করতে পারেন।

আপনি যদি সমৃদ্ধ (যেমন, নির্ভরশীল) টাইপ তত্ত্বগুলির জন্য জোর করে সাব-টাইপিংয়ে আগ্রহী হন, তবে ঝাওহুই লুও হচ্ছেন চলা লোক।


জন রেনল্ডস কাগজটি দুর্দান্ত দেখাচ্ছে, ধন্যবাদ! (আমি শুনেছি ফিলিপ ওয়াডলার একবার বলেছিলেন যে জন রেনল্ডস গবেষণার আগে সময়ের চেয়ে প্রায় 10 বছর আগে ছিলেন ...) আমি আসলে ঝাওই লুওয়ের সাথে পরিচিত, তবে আমি তাঁর কাছ থেকে যা পড়েছি বলে মনে হয়েছিল মূলত ঠিক তার সাথে কাজ করছি টাইপ তত্ত্ব এবং অন্যান্য কোণ অন্বেষণ না।
দারিয়াস জাহান্দারি
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.