نوعية قوية

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

مراجع
  1. Luca Cardelli, "Typeful programming" نسخة محفوظة 22 مارس 2016 على موقع واي باك مشين.
  2. "CMUCL User's Manual: The Compiler". مؤرشف من الأصل في 06 يوليو 2018. اطلع عليه بتاريخ 16 أغسطس 2015. الوسيط |CitationClass= تم تجاهله (مساعدة); تحقق من التاريخ في: |تاريخ أرشيف= (مساعدة)
  3. InfoWorld. مؤرشف من الأصل في 17 ديسمبر 2019. اطلع عليه بتاريخ 16 أغسطس 2015. الوسيط |CitationClass= تم تجاهله (مساعدة)
    • بوابة برمجة الحاسوب
    • بوابة علم الحاسوب
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.