برمجة كاملة النمط

في علم الحاسوب، برمجة كاملة النمط (بالإنجليزية: typeful programming)‏ وتُعرف أيضًا باسم برمجة موجّهة النمط (بالإنجليزية: type directed programming)‏، هي أسلوب برمجة عُرِفَ بسبب الاستخدام الواسع لنمط المعلومات المُستوعب من خلال تقنيّات تفحّص النمط الميكانيكِيّة.[1] قُدّم المفهوم في ورقة تحمل نفس الاسم من قِبَل لوقا كارديلي في عام 1991.[1]

هذه المقالة غير مكتملة، وربما تنقصها بعض المعلومات الضرورية. فضلًا ساعد في تطويرها بإضافة مزيدٍ من المعلومات. (فبراير 2017)

المراجع
  1. Cardelli, Luca (1991). "Typeful programming" (PDF). IFIP State-of-the-Art Reports. New York: Springer-Verlag (Formal Description of Programming Concepts): 431–507. مؤرشف من الأصل (PDF) في 14 أكتوبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
    • بوابة برمجة الحاسوب
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.