نوعية قوية

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

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

مراجع[عدل]

  1. ^ Luca Cardelli, "Typeful programming" نسخة محفوظة 22 مارس 2016 على موقع واي باك مشين.
  2. ^ "CMUCL User's Manual: The Compiler". مؤرشف من الأصل في 06 يوليو 2018. اطلع عليه بتاريخ 16 أغسطس 2015. الوسيط |CitationClass= تم تجاهله (مساعدة); تحقق من التاريخ في: |تاريخ أرشيف= (مساعدة)
  3. ^ "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 ديسمبر 2019. اطلع عليه بتاريخ 16 أغسطس 2015. الوسيط |CitationClass= تم تجاهله (مساعدة)
HelloWorld.svg
هذه بذرة مقالة عن لغة برمجة بحاجة للتوسيع. شارك في تحريرها.