نظام الأنواع

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

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

مراجع[عدل]

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


Computer.svg
هذه بذرة مقالة عن الحاسوب أو العاملين في هذا المجال بحاجة للتوسيع. شارك في تحريرها.