نوعية قوية

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

في علم الحاسوب، يقال أن نظاما نوعيا ما يوفر ميزة النوعية القوية عندما يفرض قيدا واحدا أو أكثر على كيفية تشارك العمليات التي تتطلب قيما من أنواع مختلفة.[1][2][3] على النقيض من النوعية القوية تكون النوعية الضعيفة.

مراجع[عدل]

  1. ^ Luca Cardelli, "Typeful programming" نسخة محفوظة 22 مارس 2016 على موقع واي باك مشين.
  2. ^ "CMUCL User's Manual: The Compiler". اطلع عليه بتاريخ 16 أغسطس 2015. 
  3. ^ InfoWorld. اطلع عليه بتاريخ 16 أغسطس 2015. 
HelloWorld.svg
هذه بذرة مقالة عن لغة برمجة بحاجة للتوسيع. شارك في تحريرها.