توافق الأهداف
Faber لغة واحدة لها عقود ترجمة متعددة. هذه الصفحة هي **مصفوفة قابلية الخفض المقاسة**: لكل مصطلح في corpus، ما الأهداف التي تستطيع خفضه، وبأي مستوى من الدعم.
توجد أفعال السياسة (الدعم / الإزالة / التحذير / الرفض / التأجيل) وتوجيه المسار في Codegen targets. أما هذه الصفحة فهي قائمة صفوف كبيرة قابلة للمسح — أهداف مسار التطبيقات HIR وأهداف مسار الأنظمة MIR جنبًا إلى جنب في الجدولين أدناه.
ملخص CLI المباشر: faber targets.
عرض: unknown بواسطة faber/scripta/render-matrices.py من بيانات قياس radix — لا تعدّل الملف.
القياس: emit_hir_target_matrix + emit_mir_target_matrix (داخل العملية، من دون toolchains خارجية).
الربط: مصطلحات corpus/index.toml → exempla.
هذه هي مصفوفة دعم grammar×target الرسمية والمولّدة. وهي تعرض قابلية الخفض — هل يستطيع الهدف X خفض إنتاج grammar Y — لكل مصطلح في corpus الأمثلة. أما دلالات وقت التشغيل (أفعال سياسة الإزالة/التحذير/التأجيل)، وعقود كل هدف، وتوجيه المسار، فتوجد في Codegen targets، الذي يربط بهذه الصفحة لعرض الصفوف.
مفتاح الرموز#
| الرمز | المعنى |
|---|---|
| ✓ | مدعوم بالكامل — تُخفض كل exempla القابلة للتحليل للمصطلح |
| ◐ | جزئي — تُخفض بعض exempla، بينما تحتوي أخرى على فجوة مقاسة |
| ○ | مخطط — لم يُنفّذ الخفض بعد؛ تراكب منسّق (scripta/ebnf-matrix-overrides.toml) |
| ✕ | غير مدعوم — لا تُخفض أي exempla؛ الحقيقة الافتراضية هي أن الفجوة المقاسة حقيقية |
| — | غير مقاس — لا توجد exempla قابلة للتحليل لهذا المصطلح على هذا المسار |
يعني ✓ أن exempla في corpus التي تستخدم هذا المصطلح تُخفض إلى الهدف. لكنه لا يضمن تطابق دلالات وقت التشغيل. فبعض الأهداف تزيل أو تحذّر بشأن تراكيب معينة (مثل أن Go يزيل أوضاع الاستعارة
عن/في/من) — ومع ذلك تظهر هنا بالرمز ✓ لأنها تُخفض. راجع وثيقة السياسة لفهم هذا التفصيل.
ملخص corpus الكامل (كل المصطلحات المسجّلة)#
مسار التطبيقات (HIR → لغات المصدر الناتجة)
| الهدف | قادر | قابل للتحليل | % |
|---|---|---|---|
| rust | 373 | 378 | 99% |
| go | 347 | 378 | 92% |
| ts | 378 | 378 | 100% |
| faber | 378 | 378 | 100% |
مسار الأنظمة (MIR → مصنوعات الجهاز/IR)
| الهدف | قادر | قابل للتحليل | % |
|---|---|---|---|
| llvm-text | 334 | 373 | 90% |
| wasm-text | 263 | 373 | 71% |
| wasm | 263 | 373 | 71% |
| sexp-struct | 300 | 373 | 80% |
| sexp | 299 | 373 | 80% |
| runner | 317 | 373 | 85% |