سلامة الأنماط

سلامة الأنماط أو سلامة التنميط (بالإنجليزية: type safety)‏ هي مصطلح في علم الحاسوب يستخدم للتعبير عن المدى الذي تنهى فيه لغة برمجة ما عن أخطاء الأنماط أو تمنعها.[1][2][3] الخطأ في النمط هو خلل أو سلوك غير مرغوب فيه بالبرنامج يسببه التضارب ما بين أنماط البيانات المختلفة.

مراجع عدل

  1. ^ Standard ML. Smlnj.org. Retrieved on 2013-11-02. نسخة محفوظة 18 يونيو 2017 على موقع واي باك مشين.
  2. ^ "CS1130. Transition to OO programming. – Spring 2012 --self-paced version". Cornell University, Department of Computer Science. 2005. مؤرشف من الأصل في 2017-12-18. اطلع عليه بتاريخ 2015-11-23.{{استشهاد ويب}}: صيانة الاستشهاد: BOT: original URL status unknown (link)
  3. ^ Niklaus Wirth (1985). Programming in Modula-2. Springer Verlag.