الصفحة الرئيسة
عشوائي
بالقرب من هنا
دخول
الإعدادات
تبرع
حول ويكيبيديا
إخلاء مسؤولية
بحث
تصنيف
:
نظرية النمط
اللغة
راقب
عدّل
بوابة تقانة المعلومات
لمزيد من المعلومات، طالع
نظرية النمط
.
في كومنز صور وملفات عن
Type theory
.
تصنيفات فرعية
يشتمل هذا التصنيف على تصنيفين فرعيين، من أصل 2.
أ
أنظمة أنواع
(1 ت، 4 ص)
ت
تعدد الأشكال
(2 ص)
صفحات تصنيف «نظرية النمط»
يشتمل هذا التصنيف على 20 صفحة، من أصل 20.
*
نظرية النمط
أ
أيدا (لغة برمجة)
ا
استراتيجية التقييم
التحويل في c++
ب
برتراند ماير
بنية رياضية
ت
تعددية الأشكال (علم الحاسوب)
تعديد (حساب)
تنويع البط
ج
جان إشبيا
ر
بيرتراند راسل
ز
زوج مرتب
س
سلامة الأنماط
ل
لاتباين وتباين مرافق وتباين معاكس
م
مبدأ المفتوح المغلق
متغير (علم الحاسوب)
ن
نظام الأنواع
نمط مجرد
نوع بيانات مجرد
ه
هاسكل كاري
