اللغة الخاصة بمجال معين (DSL) هي لغة صغيرة مُحسّنة لمجال محدد. ولأنها موجّهة لمجال بعينه، فإنها قد تؤثر تأثيرًا كبيرًا في الإنتاجية والفهم، إذ تتيح للكاتب أن يُصرّح بـ_ماذا_ يريد بدلًا من كيف يريده.
ومن المجالات التي تُطبَّق فيها التخصيصات والإعدادات المعقّدة.
على سبيل المثال، تتيح لك لغة DOT كتابة وصف نصي لرسم بياني، ثم يُحوَّل هذا الوصف إلى صورة بواسطة إحدى أدوات Graphviz (مثل dot).
الرسم البياني البسيط يبدو هكذا:
graph {
graph [bgcolor="yellow"]
a [color="red"]
b [color="blue"]
a -- b [color="green"]
}
عند وضع هذا في ملف example.dot وتشغيل dot example.dot -T png -o example.png، نحصل على صورة example.png فيها دائرة حمراء ودائرة زرقاء يربط بينهما خط أخضر على خلفية صفراء.
اكتب لغة خاصة بمجال معين مشابهة للغة dot الخاصة بـ Graphviz.
لغة المجال الخاصة بنا مشابهة للغة dot الخاصة بـ Graphviz من حيث إنها ستُستخدم لإنشاء بنى بيانات الرسوم البيانية. لكن، بخلاف لغة DOT، ستكون لغة المجال الخاصة بنا لغة داخلية تُستخدم داخل لغتنا فقط.
تعرّف أكثر على الفرق بين لغات المجال الداخلية والخارجية.
سيتطلّب منك هذا التمرين تعريف صياغة DSL مشابهة للغة DOT.
من المحتمل أن تتطلّب هذه المهمة استخدام تدوينات أو ماكرو. قد ترغب في الرجوع إلى مرجع.
في هذا التمرين، تُمثَّل الحواف بعلامة - واحدة بين العقد، على عكس -- المستخدمة في لغة DOT الفعلية.
يتجنّب هذا التعارض مع صياغة التعليق أحادي السطر في Lean.
كذلك، كل عبارة تنتهي بعلامة ;، حتى التعليقات على مستوى الرسم البياني.