الكتابة الثابتة والديناميكية (Static and Dynamic Typing)

تتحقق الكتابة الثابتة من الأنواع قبل تشغيل البرنامج، بينما تتحقق الكتابة الديناميكية منها أثناء التنفيذ؛ وتسعى الكتابة التدريجية إلى الجمع بين الاثنتين في لغة واحدة.

Definition

تتحقق الكتابة الثابتة من قيود النوع في وقت الترجمة بحيث يتم قبول البرامج ذات الأنواع الصحيحة قبل التنفيذ؛ وتؤجل الكتابة الديناميكية فحوصات النوع إلى وقت التشغيل، مما يثير الأخطاء عندما يتم تطبيق العمليات على قيم من نوع غير مناسب.

Scope

يغطي هذا الموضوع نطاق متى وكيف يتم التحقق من النوع: التحقق الثابت الذي يرفض البرامج ذات الأنواع غير الصحيحة في وقت الترجمة، والتحقق الديناميكي الذي يكتشف أخطاء النوع في وقت التشغيل، والكتابة التدريجية أو الاختيارية التي تسمح بالتعايش بين الاثنين. ويتناول الضمانات والمرونة والآثار المترتبة على الأداء لكل منها، بالإضافة إلى سلامة نظام التحقق من النوع.

Core questions

• ما هي فئات الأخطاء التي يمنعها التحقق الثابت ولا يمكن للتحقق الديناميكي منعها مسبقًا؟
• ما هي المرونة التي توفرها الكتابة الديناميكية، وما هي تكلفتها؟
• كيف يمكن للكتابة التدريجية أن تمزج بشكل سليم بين الكود المكتوب وغير المكتوب؟
• كيف يتم إثبات سلامة نظام النوع الثابت؟

Key theories

الكتابة التدريجية

عرّف Siek و Taha نظام أنواع يسمح بأن تكون أجزاء من البرنامج مكتوبة بشكل ثابت وأجزاء أخرى مكتوبة بشكل ديناميكي، مع وجود علاقة اتساق تحكم التفاعل الآمن عند الحدود.

سلامة النوع الثابت

تُظهر طريقة التقدم والحفظ لـ Wright و Felleisen أن نظام النوع الثابت السليم يضمن أن البرامج المكتوبة بشكل صحيح لا تصل أبدًا إلى حالات عالقة، مما يضفي طابعًا رسميًا على سلامة التحقق الثابت.

Clinical relevance

يحدد الاختيار بين الثابت والديناميكي سير عمل المطورين والأدوات والموثوقية. وتسمح أنظمة الكتابة التدريجية والاختيارية، مثل تلك المطبقة على اللغات الديناميكية، للفرق بإضافة ضمانات ثابتة بشكل تدريجي إلى قواعد بيانات برمجية كبيرة موجودة.

History

انقسمت اللغات المبكرة إلى سلالات ذات كتابة ثابتة (Algol, Pascal, ML) وسلالات ذات كتابة ديناميكية (Lisp, Smalltalk). ومع ازدياد شعبية اللغات الديناميكية لإنتاجيتها، سعى الباحثون إلى التوفيق بين المنهجين؛ وأدت الكتابة التدريجية لـ Siek و Taha في عام 2006 والأعمال المعاصرة حول الأنواع الاختيارية إلى أنظمة كتابة تدريجية مستخدمة على نطاق واسع مبنية على اللغات الديناميكية.

Debates

تكلفة وسلامة الكتابة التدريجية

يتناقش الباحثون حول ما إذا كانت الكتابة التدريجية السليمة يمكن أن تتجنب تكاليف التحقق الباهظة في وقت التشغيل عند الحدود المكتوبة/غير المكتوبة، وما إذا كانت الكتابة 'الاختيارية' غير السليمة تمثل مقايضة عملية أفضل.

Key figures

• Benjamin Pierce
• Jeremy Siek
• Walid Taha
• Matthias Felleisen

Seminal works

• pierce2002
• siek2006
• wright1994

Frequently asked questions

هل الكتابة الثابتة دائمًا أفضل من الكتابة الديناميكية؟

لا يوجد أحدهما أفضل عالميًا؛ فالكتابة الثابتة تكتشف المزيد من الأخطاء مبكرًا وتساعد الأدوات، بينما توفر الكتابة الديناميكية المرونة والنماذج الأولية الأسرع، لذا فإن الاختيار الصحيح يعتمد على احتياجات المشروع من الموثوقية والمرونة.

ما هي الكتابة التدريجية؟

تسمح الكتابة التدريجية لبرنامج واحد بخلط الأجزاء المكتوبة بشكل ثابت والديناميكي، مع إدخال فحوصات وقت التشغيل عند الحدود بحيث يحتفظ الكود المكتوب بضماناته بينما يظل الكود غير المكتوب مرنًا.