يُعد نظام هيندلي-ميلنر للأنواع (بالإنجليزية: Hindley–Milner type system)، يُعرف اختصارًا بـ HM، هو نظام أنواع كلاسيكي لتكامل لامدا مع تعدد الأشكال البارامتري. ويُعرف أيضًا باسم داماس–ميلنر أو داماس–هندلي–ميلنر. وقد وُصف لأول مرة من قبل ج. روجر هندلي ثم أعاد اكتشافه روبن ميلنر. وقد قدم لويس داماس تحليلاً شكليًا دقيقًا وإثباتًا للطريقة في أطروحة الدكتوراه الخاصة به.
من بين أبرز خصائص النظام هي الاكتمال، وقدرته على استنتاج أعم نوع ممكن لبرنامج معين دون الحاجة إلى تعليق النوع من قبل المبرمج أو أي تلميحات أخرى. الخوارزمية W هي طريقة فعالة لاستدلال النوع من الناحية العملية، وقد طُبّقت بنجاح على قواعد شيفرة كبيرة، رغم أن لها التعقيد الحسابي النظري العالي. يُفضل استخدام النظام في لغات برمجة وظيفية. وقد طُبق لأول مرة كجزء من نظام الأنواع في لغة البرمجة أم أل. ومنذ ذلك الحين، جرى توسيعه بطرق متعددة، من أبرزها إضافة قيود صنف النوع كما هو الحال في لغة هاسكل.