Damas-Hindley-Milner Type Type Enperive Emplogrithm

Question

أنا أبحث عن معلومات حول المعروفة خوارزمية داماس هيندلي ميلنرللقيام بالاستدلال على نوع اللغات الوظيفية ، وخاصة المعلومات حول التنفيذ.

أنا أعرف بالفعل كيف أفعل خوارزمية ث, ، لكنني سمعت عن الخوارزميات الجديدة الحديثة القائمة على مولد القيد/المحاليل بدلاً من التوحيد المعتاد. ومع ذلك ، لا يمكنني إدارة أي مناقشات حول تنفيذ تلك الخوارزمية الجديدة.

أي فكرة أين يمكنني العثور على بعض المعلومات الجزئية عن استنتاج ML؟

Answer 1

إذا كنت مرتاحًا لرمز ML ، فإن أفضل طريقة للعثور على هذه الأشياء هي ببساطة النظر في التطبيقات في البرية. تطبيق مرجعي جيد هو قرية, ، الذي تم تصميمه كأكثر من منصة اختبار بدلاً من تنفيذ الإنتاج.

كل مناقشة حديثة جدية تقريبًا لهذه القضايا ستكون في أماكن علمية. ورقة واحدة قد تكون ذات أهمية تعميم خوارزميات استدلال نوع هيندلي ميلنر.

أيضا ، تطبيقات أنظمة الأنواع المختلفة (بما في ذلك Let Let Polymorphism) في بيرس "الأنواع ولغات البرمجة"، وكذلك أبيل"تطبيق المترجم الحديث في ML"يتطابق بشكل أوثق مع الأساليب الحديثة لتنفيذ هذا من وصف الفانيليا للخوارزمية دبليو.