تنظيم الأنواع العودية المتبادلة

سؤال

هل من الممكن أن يكون لديك أنواع متكررة متبادلة ([<Struct>]) تنتشر عبر ملفات مختلفة؟ الأنواع مباشرة تحت مساحة الاسم.

الحل الخاص بي هو وضعها في ملف كبير واستخدامه type ... and ... and ... etc اعمال بناء. هل هي الطريقة الوحيدة؟

المحلول

يمكنك استخدام تقنية تسمى فك العقدة العودية حيث تقوم بتعامل مع أحدهما على الآخر.

إذا هذا:

type a = B of b
and b = A of a

يصبح:

type 'b a = B of 'b
type b = A of b a

مرخصة بموجب: CC-BY-SA مع الإسناد

لا تنتمي إلى StackOverflow