लक्ष्य संगतता
Faber एक भाषा है, जिसके संकलन अनुबंध अनेक हैं। यह पृष्ठ **मापी गई lowerability matrix** है: corpus के प्रत्येक term के लिए यह बताता है कि कौन-से लक्ष्य उसे किस support level पर lower कर सकते हैं।
नीति के क्रिया-शब्द (support / erase / warn / reject / defer) और pipeline routing Codegen targets में हैं। यह पृष्ठ नीचे दी गई tables में HIR application-lane targets और MIR systems-lane targets की साथ-साथ दी गई, जल्दी पढ़ी जा सकने वाली row list है।
CLI का लाइव सारांश: faber targets।
रेंडर किया गया: unknown, faber/scripta/render-matrices.py द्वारा radix मापन JSON से — संपादित न करें।
मापन: emit_hir_target_matrix + emit_mir_target_matrix (in-process, बाहरी toolchains के बिना)।
Join: corpus/index.toml terms → exempla।
यह आधिकारिक generated grammar×target support matrix है। यह exempla corpus के हर term के लिए lowerability रिपोर्ट करती है — क्या target X grammar production Y को lower कर सकता है। Runtime semantics (erase/warn/defer policy verbs), per-target contracts और pipeline routing Codegen targets में हैं; वही दस्तावेज़ rows के लिए इस पृष्ठ से link करता है।
संकेत-सूची#
| चिह्न | अर्थ |
|---|---|
| ✓ | पूर्ण समर्थन — term के सभी analyzable exempla lower होते हैं |
| ◐ | आंशिक — कुछ exempla lower होते हैं, कुछ में measured gap है |
| ○ | योजनाबद्ध — अभी lower नहीं होता; curated overlay (scripta/ebnf-matrix-overrides.toml) |
| ✕ | असमर्थित — कोई exempla lower नहीं होता; default truth के अनुसार measured gap वास्तविक है |
| — | मापा नहीं गया — इस lane पर term के लिए कोई analyzable exempla नहीं है |
✓ का अर्थ है कि इस term का उपयोग करने वाले corpus exempla target तक lower होते हैं। इसका अर्थ समान runtime semantics की गारंटी नहीं है। कुछ targets कुछ constructs को erase या warn करते हैं (उदाहरण के लिए Go borrow modes
से/में/सेवनको erase करता है) — फिर भी वे यहाँ ✓ के रूप में दिखते हैं क्योंकि वे lower होते हैं। इस बारीकी के लिए policy doc देखें।
Corpus-व्यापी सारांश (सभी पंजीकृत terms)#
एप्लिकेशन लेन (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% |