لغة Haskell في Maguyva: رسوم بيانية للشيفرة لفئات الأنواع والوحدات

أين تُربك Haskell أدوات الذكاء الاصطناعي السطحية

تستدعي Haskell الدوال دون أقواس، وتركّبها بالعوامل، وتوزّع الاستدعاءات عبر فئات الأنواع. render user استدعاء واحد، وf . g <$> xs يحوي عدة استدعاءات، ومعنى show هو ما تقوله نسخة ذلك النوع. يجد البحث النصي الأسماء، لا النُسخ التي خلفها.

يسجّل Maguyva النُسخ والمُنشِئات بوصفها علاقات، فيرى الوكيل أي الأنواع تنفّذ فئة وأين تُبنى القيمة.

ما الذي يستخرجه Maguyva من Haskell

يربط Maguyva ملفات .hs و.lhs بلغة Haskell. تُستخرج الدوال والارتباطات بوصفها كيانات قابلة للاستدعاء، وتُستخرج فئات الأنواع وأنواع data وnewtype بوصفها أنواعًا. وتُتعرَّف الاستدعاءات في التطبيق المفصول بمسافات وعبر العوامل الوسيطة، وتوحّد عمليات الاستيراد عبارات qualified وhiding وas.

تصبح فئات الأنواع والمُنشِئات علاقات في الرسم البياني:

• يسجّل instance Eq Point أن Point ينفّذ Eq.
• عندما يكون لتابع الفئة جسم افتراضي في الملف نفسه، فإن النسخة التي تعرّف ذلك التابع تُسجَّل بوصفها تجاوزًا للتنفيذ الافتراضي.
• يُحتسب تطبيق مُنشِئ بيانات، مثل Point 1 2، إنشاءً لنسخة.
• تسجّل error وundefined وthrow رمي الاستثناءات، وتسجّل المعالجات مثل catch التقاطها.

ولأن تصريحات النُسخ يمكنها تعريف أسماء مثل show أو return، لا يُفترض أن التعريف الموجود في الملف نفسه هو هدف الاستدعاء المجرّد الذي يحمل ذلك الاسم.

أمثلة على مطالبات الوكلاء

• “من يستدعي parseConfig، ومن أي وحدات؟” (find_symbol ثم dependency_search في الاتجاه الوارد)
• “ما الأنواع التي لها نسخة ToJSON؟” (dependency_search)
• “تتبّع كيف يُفكّ ترميز الطلب ويُتحقق منه.” (get_task_context)

القيود المعروفة

• يُستبعد من العلاقات نحو 130 اسمًا من Prelude والمكتبة الأساسية، مثل map وfoldr وfmap وpure و>>=، ووحدات مثل Data.List وControl.Monad. استخدم text_pattern_search لها.
• في القواعد النحوية، تدل عقدة الدالة الخام أيضًا على أنواع الدوال، لذا لا يُرجع الإعداد المسبق functions في structural_search إلا تعابير lambda، ولا يختار الإعدادان methods وvariables شيئًا. استخدم find_symbol للدوال المسمّاة.
• تُقرأ ملفات .lhs الأدبية كاملة بقواعد Haskell النحوية، فتوقّع نتائج جزئية لها.
• لا تملك Haskell صيغة للمزخرفات، لذا تُعلَّم علاقات المزخرفات بأنها غير قابلة للتطبيق.

الخطوات التالية

اربط مستودعًا عبر دليل البدء السريع، ثم راجع مصفوفة الدعم في صفحة التوافق. ولقواعد الشيفرة الوظيفية الأخرى، اقرأ دليل لغة Elixir.