جدول المحتويات:
التعريف - ماذا يعني نوع الاستدلال؟
Type inference هو الاستنتاج التلقائي لأنواع بيانات التعبيرات المحددة بلغة البرمجة ، وعادة ما يتم ذلك في وقت الترجمة. يتضمن تحليل برنامج ثم استنتاج الأنواع المختلفة لبعض أو كل التعبيرات في هذا البرنامج بحيث لا يحتاج المبرمج إلى إدخال أنواع البيانات وتعريفها بوضوح في كل مرة يتم فيها استخدام المتغيرات في البرنامج.تيكوبيديا تشرح نوع الاستدلال
غالبًا ما تكون ميزة "الاستدلال على الكتابة" هي إحدى ميزات برنامج التحويل البرمجي للغات البرمجة الوظيفية بدلاً من اللغات الموجهة للكائنات. يحتاج المحول البرمجي أو المترجم الشفوي إلى الحد الأدنى من المعلومات بالإضافة إلى السياق من أجل معرفة نوع بيانات المتغير أو التعبير.
تحاول خوارزمية الاستدلال تحديد أنواع الوسائط وكذلك نوع قيمة الإرجاع ثم تحاول العثور على نوع البيانات الأكثر تحديدًا والذي يعمل مع كافة الوسائط. كمثال أساسي ، ضع في الاعتبار الدالة Foo (a، b) = x + y؛ يعرف المحول البرمجي أن عامل التشغيل "+" يأخذ عددين صحيحين ويعيد أيضًا عددًا صحيحًا ، لذا يمكن للمترجم أو المترجم الشفهي أن يستنتج أن لدى Foo أيضًا رقم صحيح.
