الرئيسيةعريقبحث

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


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

المراجع

  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.

موسوعات ذات صلة :