دورة مُجمّع متزايدة: من تايجر إلى تجميع x86-64 في OCaml

2025-04-05

هذه دورة مُجمّع عملية للغاية تهدف إلى بناء مُجمّع يُحوّل لغة تايجر عالية المستوى إلى شفرة آلة x86-64. تستخدم الدورة لغة OCaml وتُشدّد على تطوير مُدار بالتجارب، ومُراقبة الإصدارات، وإعادة استخدام الشفرة. تعتمد الدورة على نهج تطوير متزايد ومتكرر، حيث يتم توسيع ميزات اللغة والمُجمّع تدريجيًا، مع الاستفادة من أسلوب tagless-final لتحسين قابلية التوسيع. تغطي الدورة مواضيع مُجمّعات قياسية مثل التحليل، والتحقق من النوع، والتحسين، وتوليد التجميع، ولكن بطريقة غير تقليدية.

التطوير تطوير متزايد