নির্ভরশীল ধরণের তত্ত্বে মডেলিং অবজেক্টস (ওওপি)

Question

আমি অবজেক্ট ওরিয়েন্টেড প্রোগ্রামিং থেকে অবজেক্ট টাইপ থিয়োরিতে মডেলিংয়ে আগ্রহী। সম্ভাব্য অ্যাপ্লিকেশন হিসাবে, আমি এমন একটি মডেল রাখতে চাই যেখানে আমি অত্যাবশ্যক প্রোগ্রামিং ভাষার বিভিন্ন বৈশিষ্ট্য বর্ণনা করতে পারি।

আমি নির্ভরশীল টাইপ থিওরিতে মডেলিং অবজেক্টগুলির জন্য কেবল একটি পেপার পেয়েছি, যা হ'ল:
এ। সেটজার দ্বারা 2006 এর উপর নির্ভরশীল টাইপ থিওরিতে অবজেক্ট-ওরিয়েন্টেড প্রোগ্রামিং (2006)

আমি যে বিষয়টি মিস করেছি সে বিষয়ে আরও উল্লেখ রয়েছে এবং সম্ভবত আরও সাম্প্রতিকতম বিষয়গুলি রয়েছে?

কোক বা আগদার মতো কোনও উপপাদ্য প্রবাদটির জন্য সম্ভবত কোনও বাস্তবায়ন (যেমন প্রমাণ) উপলব্ধ?

Answer 1

এই অঞ্চলে কিছু প্রাথমিক (?) কাজ করা হয়েছিল বার্ট জ্যাকবস (নিজমেগেন) এবং মেরিকে হুইসমানের দ্বারা। তাদের কাজ পিভিএস সরঞ্জামের উপর ভিত্তি করে ক্লাসের কোলজিব্রেটিক এনকোডিংয়ের উপর নির্ভর করে (যদি আমি সঠিকভাবে মনে করি)। 2000 সালে কাগজপত্রের জন্য মেরিকের প্রকাশনা পৃষ্ঠা এবং 2001 সালে তার পিএইচডি থিসিসটি দেখুন Bart বার্ট জ্যাকবসের লেখা কাগজপত্রগুলিও দেখুন যা আপনি উল্লেখ করেছেন একটি সেটজারের কাগজে উদ্ধৃত করেছেন।

সেই দিনগুলিতে, তাদের কাছে LOOP সরঞ্জাম নামে একটি জিনিস ছিল, তবে মনে হচ্ছে এটি আন্তঃবিযুক্ত থেকে নিখোঁজ হয়ে গেছে।

এফটিএফজেপি (জাভা-জাতীয় প্রোগ্রামগুলির আনুষ্ঠানিক কৌশল) নামে পরিচিত একটি ওয়ার্কশপ সিরিজ রয়েছে যা ওও প্রোগ্রামগুলির আনুষ্ঠানিক যাচাইকরণকে সম্বোধন করে। নিঃসন্দেহে কিছু কাজ নির্ভরশীল তত্ত্ব / উচ্চতর-আদেশ যুক্তি ব্যবহার করে। কর্মশালা সিরিজটি প্রায় 14 বছর ধরে চলছে।

Answer 2

অ্যান্ড্রেস আবেল, স্টিফান অ্যাডেলসবার্গার, আন্তন সেত্তজার: আগডায় ইন্টারেক্টিভ প্রোগ্রামিং - অবজেক্টস এবং গ্রাফিকাল ইউজার ইন্টারফেসে যথেষ্ট পরিমাণে বর্ধিত ফলো পেপার রয়েছে । এতে জিইআইআই অন্তর্ভুক্ত করে অবজেক্ট ভিত্তিক প্রোগ্রাম লেখার জন্য একটি আগদা গ্রন্থাগার রয়েছে । অবজেক্ট অরিয়েন্টেড প্রোগ্রামিংয়ের ভিত্তিতে আগডায় মেডিকেল ডোমেইনে ভেরিফাইড জিইউআই লেখার জন্য স্টিফান অ্যাডেলসবার্গারের সাথে কিছু ফলোআপ পেপার রয়েছে।

Answer 3

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

বিচ্ছেদ যুক্তি সংক্রান্ত সাম্প্রতিক কিছু কাজ প্রাসঙ্গিক বলে মনে হয়।

Answer 4

OOP উপস্থাপনের জন্য আপনি নির্ভরশীল তত্ত্বের দিকে কেন তাকিয়ে আছেন ? আমরা কি নির্ভরশীল ক্যালকুলি দিয়ে সন্তোষজনক উপায়ে ওওপি মডেল করতে পারি না? সিস্টেম ফ-এ অনুবাদ করার সময় ওওপি দেখতে কেমন, তার একটি অনানুষ্ঠানিক মডেল আমার কাছে রয়েছে (বা আপনি জেনেরিক সমর্থন করতে চান তবে), এবং টাইপ-মূল্য নির্ভরতা কোথায় আসবে তা আমি দেখতে পাই না।

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

সম্ভবত আপনি ওওপি কনস্ট্রাক্টসগুলিকে একটি ফাইন স্ট্যাটিক সিমানটিকস দিতে চান যা বর্তমানে টাইপযুক্ত নয়, যেমন instance_ofএকটি অনুসরণ করে cast। আমি দেখতে পাচ্ছি নির্ভরশীল ধরণের হ্যাকারি এ জাতীয় প্রোগ্রামগুলির স্থির কারণ হিসাবে কার্যকর হতে পারে; তবে আমি নিশ্চিত নই যে এটি গতিশীল কোণে মনোনিবেশ করে এমন অপারেশনগুলিকে "মডেল" করবে, এটি আরও বেশি কিছু।

Comments

এটি প্রশ্নের উত্তর নয়। এটি কোনও আলোচনার ফোরাম নয়।

— ডেভ ক্লার্ক