প্রোগ্রামের ডিডাক্টিভ সংশ্লেষণ
নির্ভরশীল টাইপ সিস্টেম
একটি সিস্টেম যেখানে টাইপগুলি মানের উপর নির্ভর করতে পারে, জটিল বৈশিষ্ট্যগুলি সরাসরি টাইপ সিস্টেমে প্রকাশ করা এবং টাইপিং স্তরে সংশোধন নিশ্চিত করা সম্ভব করে।
← ফিরে যান