هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها
هذه المقالة غير مكتملة. فضلًا ساعد في توسيعها.

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

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

في علم الحاسوب، برمجة كاملة النمط (بالإنجليزية: 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. 
HelloWorld.svg
هذه بذرة مقالة عن لغة برمجة بحاجة للتوسيع. شارك في تحريرها.