نظام الأنواع

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

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

مراجع[عدل]

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


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