تنويع تدريجي

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

مراجع
  1. Siek, Jeremy، "What is gradual typing?"، مؤرشف من الأصل في 07 مايو 2018.

قراءة متعمقة
  • 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، 1st Summit on Advances in Programming Languages (SNAPL 2015)، 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.
  • بوابة علم الحاسوب
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.