تنويع تدريجي

التنويع التدريجي Gradual typing هي نظام نوع حيث يمكن إعطاء بعض المتغيرات والتعبيرات أنواعًا ويتم التحقق من صحة التنويع في وقت التجميع (وهو نوع ثابت) وقد يتم ترك بعض التعبيرات دون نوع ويتم الإبلاغ عن أخطاء نوع في نهاية المطاف في وقت التشغيل (وهو نوع ديناميكي). يسمح التنويع التدريجي لمطوري البرامج باختيار كلا الأمرين بارادايم نوع كملائمة، من داخل لغة واحدة. في كثير من الحالات، تتم إضافة التنويع التدريجي إلى لغة ديناميكية موجودة، مما يؤدي إلى إنشاء لغة مشتقة تسمح باستخدام التويع الثابت ولكن لا تتطلب ذلك. في بعض الحالات ، تستخدم اللغة التويع التدريجي من البداية.

قراءة متعمقة

• Siek، Jeremy G.؛ Vitousek، Michael M.؛ Cimini، Matteo؛ Boyland، John Tang (2015). Ball؛ Bodik، Rastislav؛ Krishnamurthi، Shriram؛ Lerner، Benjamin S.؛ Morrisett، Greg (المحررون). Refined Criteria for Gradual Typing. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ج. 32. ص. 274–293. DOI:10.4230/lipics.snapl.2015.274. ISBN:9783939897804. {{استشهاد بكتاب}}: |عمل= تُجوهل (مساعدة)