الكتابة البطة

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

^{تدعم لغات} TypeScript [6] و ^{Elm [} 7 ] ^{و Python [} 8 ] ^{الكتابة الهيكلية بدرجات} متفاوتة.

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

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

في لغات مثل جافا وسكالا وأوبجكتيف-سي، يمكن استخدام الانعكاس لفحص ما إذا كانت الكائنات تُنفذ أساليب أو إضافة أساليب ضرورية في وقت التشغيل. على سبيل المثال، يمكن استخدام واجهة برمجة تطبيقات MethodHandle في جافا بهذه الطريقة. ^{[ 9 ]}