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