نوعية قوية

من أرابيكا، الموسوعة الحرة

هذه هي النسخة الحالية من هذه الصفحة، وقام بتعديلها عبود السكاف (نقاش | مساهمات) في 08:20، 28 أكتوبر 2020 (بوت:إصلاح رابط كتب غوغل). العنوان الحالي (URL) هو وصلة دائمة لهذه النسخة.

(فرق) → نسخة أقدم | نسخة حالية (فرق) | نسخة أحدث ← (فرق)
اذهب إلى التنقل اذهب إلى البحث

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

مراجع

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