سلامة الأنماط أو سلامة التنميط (type safety) هي مصطلح في علم الحاسوب يستخدم للتعبير عن المدى الذي تنهى فيه لغة برمجة ما عن أخطاء الأنماط أو تمنعها.[1][2][3] الخطأ في النمط هو خلل أو سلوك غير مرغوب فيه بالبرنامج يسببه التضارب ما بين أنماط البيانات المختلفة.
مراجع
- Standard ML. Smlnj.org. Retrieved on 2013-11-02. نسخة محفوظة 18 يونيو 2017 على موقع واي باك مشين.
- "CS1130. Transition to OO programming. – Spring 2012 --self-paced version". Cornell University, Department of Computer Science. 2005. مؤرشف من الأصل في 200523 نوفمبر 2015.
- Niklaus Wirth (1985). Programming in Modula-2. Springer Verlag.