Key points are not available for this paper at this time.
Objective ML هو امتداد عملي صغير لـ ML مع الكائنات والفئات العلوية. إنه متوافق تمامًا مع ML؛ يقوم نظام النوع الخاص به على تعددية الأشكال في ML، وأنواع السجلات مع الوصول المتعدد الأشكال، ومعالجة أفضل للاختصارات النوعية. يتيح Objective ML معظم ميزات لغات البرمجة الكائنية بما في ذلك الوراثة المتعددة، والطرق التي تعيد الكائن نفسه، والطرق الثنائية بالإضافة إلى الفئات البراميترية. هذا يُظهر أنه يمكن إضافة الكائنات إلى لغات ذات نوع قوي تعتمد على تعددية الأشكال في ML.
درَس ريماي وآخرون (الأربعاء) هذا السؤال.