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