في علم الحاسوب، يقال أن نظاما نوعيا ما يوفر ميزة النوعية القوية عندما يفرض قيدا واحدا أو أكثر على كيفية تشارك العمليات التي تتطلب قيما من أنواع مختلفة.[1][2][3] على النقيض من النوعية القوية تكون النوعية الضعيفة.
مراجع
- Luca Cardelli, "Typeful programming" - تصفح: نسخة محفوظة 22 مارس 2016 على موقع واي باك مشين.
- "CMUCL User's Manual: The Compiler". مؤرشف من الأصل في 06 يوليو 201816 أغسطس 2015.
- "too+strong"&source=bl&ots=PGyKS1fWUb&sig=ebFI6fk_yxwyY4b7sHSklp048Q4&hl=en&ei=lSmjTunuBo6F8gPOu43CCA&sa=X&oi=book_result&ct=result&resnum=1&ved=0CBsQ6AEwAA InfoWorld. مؤرشف من الأصل في 17 ديسمبر 201916 أغسطس 2015.