نظام الأنواع

يربط كل قيمة محسوبة بنوع


نظام الأنواع (بالإنكليزية Type system) يربط كل قيمة محسوبة بنوع.[1][2][3] يحاول نظام الأنواع أن يتأكد من عدم حدوث أي أخطاء نوعية، وذلك من خلال دراسة تدفق تلك القيم. بطبيعة الحال، فإن نظام الأنواع نفسه هو الذي يحدد ماهية الأخطاء النوعية ومتى يعتبر خطأ ما نوعيا، ولكن الهدف بشكل عام هو تجنب الحالات التي تتوقع فيها عمليةٌ ما قيمةً ذات طبيعة معينة فتُشغَّل العملية بقيم لا معنى لها في ذلك السياق (الأخطاء المنطقية)، بالإضافة إلى تجنب أخطاء الذاكرة.

مراجع

عدل
  1. ^ Remy، Didier. "Type systems for programming languages" (PDF). مؤرشف من الأصل (PDF) في 2017-11-14. اطلع عليه بتاريخ 2013-05-26.
  2. ^ "dynamic (C# Reference)". شبكة مطوري مايكروسوفت. Microsoft. مؤرشف من الأصل في 2017-01-09. اطلع عليه بتاريخ 2014-01-14.
  3. ^ Infoworld 25 April 1983 نسخة محفوظة 22 نوفمبر 2016 على موقع واي باك مشين.