نوعية قوية
في علم الحاسوب، يقال أن نظاما نوعيا ما يوفر ميزة النوعية القوية عندما يفرض قيدا واحدا أو أكثر على كيفية تشارك العمليات التي تتطلب قيما من أنواع مختلفة.[1][2][3] على النقيض من النوعية القوية تكون النوعية الضعيفة.
مراجع
[عدل]- ^ Luca Cardelli, "Typeful programming" نسخة محفوظة 22 مارس 2016 على موقع واي باك مشين.
- ^ "CMUCL User's Manual: The Compiler". مؤرشف من الأصل في 2018-07-06. اطلع عليه بتاريخ 2015-08-16.
- ^ InfoWorld. مؤرشف من الأصل في 2019-12-17. اطلع عليه بتاريخ 2015-08-16.
