रेंडरिंगhi

लक्ष्य संगतता

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 de/in/ex को erase करता है) — फिर भी वे यहाँ ✓ के रूप में दिखते हैं क्योंकि वे lower होते हैं। इस बारीकी के लिए policy doc देखें।

Corpus-व्यापी सारांश (सभी पंजीकृत terms)#

एप्लिकेशन लेन (HIR → उत्सर्जित स्रोत भाषाएँ)

लक्ष्यसक्षमविश्लेषण योग्य%
rust28428699%
go26328692%
ts286286100%
faber286286100%

सिस्टम लेन (MIR → डिवाइस/IR आर्टिफैक्ट)

लक्ष्यसक्षमविश्लेषण योग्य%
llvm-text28028698%
wasm-text26028691%
wasm26028691%
sexp-struct22628679%
sexp22628679%
scena24528686%

कीवर्ड — एप्लिकेशन लेन#

कीवर्ड#

termrustgotsfaber
abstractus
ab
ad
adfirma
ante
atomic
argumenta
bivalens
cape
casu
cede
ceteri
ceterum
clausura
cli
copia
cura
curata
cursor
custodi
de
descriptio
discerne
discretio
dum
ego
elige
errata
est
ex
exitus
fac
falsum
fient
fiet
figendum
finge
fiunt
fixum
fragilis
fractus
functio
futura
futurum
generis
genus
iace
iacit
ignotum
immutata
implet
importa
in
incipiet
incipit
inter
intra
instans
itera
lege
lineam
lista
matrix
mone
mori
nexum
nihil
numquam
numerus
non
omitte
omnia
operandus
optio
optiones
ordo
octeti
implendum
per
perge
postpara
postparabit
prae
praefixum
praepara
praeparabit
promissum
privata
proba
probandum
protecta
publica
redde
reddet
repete
requirit
rumpe
scribe
scriptum
secus
si
sic
sin
sit
solum_in
solum
sparge
sponte
sub
tacet
tacebit
tabula
tag
temporis
tensor
textus
typus
ubique
usque
ut
varia
variandum
vector
vacuum
verum
vide

ऑपरेटर — एप्लिकेशन लेन#

ऑपरेटर समूह#

termrustgotsfaber
·
×
aut
![
!.
!(
=
et
modulus<u16>
modulus<u32>
modulus<u64>
modulus<u8>
non est
?[
?.
?(
§
¬
vel
ergo

कीवर्ड — सिस्टम लेन#

कीवर्ड#

termllvm-textwasm-textwasmsexp-structsexpscena
abstractus
ab
ad
adfirma
ante
atomic
argumenta
bivalens
cape
casu
cede
ceteri
ceterum
clausura
cli
copia
cura
curata
cursor
custodi
de
descriptio
discerne
discretio
dum
ego
elige
errata
est
ex
exitus
fac
falsum
fient
fiet
figendum
finge
fiunt
fixum
fragilis
fractus
functio
futura
futurum
generis
genus
iace
iacit
ignotum
immutata
implet
importa
in
incipiet
incipit
inter
intra
instans
itera
lege
lineam
lista
matrix
mone
mori
nexum
nihil
numquam
numerus
non
omitte
omnia
operandus
optio
optiones
ordo
octeti
implendum
per
perge
postpara
postparabit
prae
praefixum
praepara
praeparabit
promissum
privata
proba
probandum
protecta
publica
redde
reddet
repete
requirit
rumpe
scribe
scriptum
secus
si
sic
sin
sit
solum_in
solum
sparge
sponte
sub
tacet
tacebit
tabula
tag
temporis
tensor
textus
typus
ubique
usque
ut
varia
variandum
vector
vacuum
verum
vide

ऑपरेटर — सिस्टम लेन#

ऑपरेटर समूह#

termllvm-textwasm-textwasmsexp-structsexpscena
·
×
aut
![
!.
!(
=
et
modulus<u16>
modulus<u32>
modulus<u64>
modulus<u8>
non est
?[
?.
?(
§
¬
vel
ergo

अन्य terms (existing-home / निर्दिष्ट नहीं)#

existing-home#

termrustgotsfaber
alias
arena
@
f16
imperia
imperium
manifest
metior
nondum
objectum
prima
string
block-string
summa
targets
ultima
versio