نظام الأنواع

نظام الأنواع (بالإنكليزية 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 على موقع واي باك مشين.


    • بوابة برمجة الحاسوب
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.