目標相容性
Faber 是一種語言，但有多個編譯契約。本頁是經測量的可降階能力矩陣： 針對 corpus 中的每個術語，列出哪些目標可以將它降階，以及支援程度。
政策動詞（支援 / 消除 / 警告 / 拒絕 / 延後）與管線路由位於 Codegen targets。本頁是下方表格中的大型可掃描 列清單 — HIR 應用途徑目標與 MIR 系統途徑目標並列顯示。
即時 CLI 摘要：faber targets。
渲染時間：unknown，由 faber/scripta/render-matrices.py 基於 radix 測量 JSON 渲染 — 請勿編輯。
測量：emit_hir_target_matrix + emit_mir_target_matrix（程序內完成，不使用外部 toolchain）。
連結：corpus/index.toml 中的 terms → exempla。
這是官方產生的 grammar×target 支援矩陣。它針對 exempla corpus 中的每個 term，報告可降階能力 — target X 是否能將 grammar production Y 降階。 執行期語意（消除/警告/延後政策動詞）、各目標契約與管線路由位於 Codegen targets；該文件連回本頁以顯示這些列。
圖例#
| 符號 | 意義 |
|---|---|
| ✓ | 完整支援 — 該術語的所有可分析 exempla 都能降階 |
| ◐ | 部分支援 — 部分 exempla 能降階，部分存在已測量的缺口 |
| ○ | 已規劃 — 尚未降階；使用整理後的覆寫檔 (scripta/ebnf-matrix-overrides.toml) |
| ✕ | 不支援 — 沒有 exempla 能降階；依預設事實，已測量的缺口確實存在 |
| — | 未測量 — 此途徑上沒有該術語的可分析 exempla |
✓ 表示使用此術語的 corpus exempla 能降階至目標。這不保證執行期語意 完全一致。某些目標會對特定建構進行消除或警告（例如 Go 會消除借用 模式
de/in/ex）— 這些仍在此顯示為 ✓，因為它們能降階。此細節請參閱 政策文件。
Corpus 全域摘要（所有已註冊術語）#
應用途徑（HIR → 輸出的原始語言）
| 目標 | 可支援 | 可分析 | % |
|---|---|---|---|
| rust | 284 | 286 | 99% |
| go | 263 | 286 | 92% |
| ts | 286 | 286 | 100% |
| faber | 286 | 286 | 100% |
系統途徑（MIR → 裝置/IR 產物）
| 目標 | 可支援 | 可分析 | % |
|---|---|---|---|
| llvm-text | 280 | 286 | 98% |
| wasm-text | 260 | 286 | 91% |
| wasm | 260 | 286 | 91% |
| sexp-struct | 226 | 286 | 79% |
| sexp | 226 | 286 | 79% |
| scena | 245 | 286 | 86% |
關鍵字 — 應用途徑#
關鍵字#
| 術語 | rust | go | ts | faber |
|---|---|---|---|---|
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 | ✓ | ✓ | ✓ | ✓ |
運算子 — 應用途徑#
運算子群組#
| 術語 | rust | go | ts | faber |
|---|---|---|---|---|
⊜ | ✓ | ✓ | ✓ | ✓ |
∧ | ✓ | ✓ | ✓ | ✓ |
· | ✓ | ◐ | ✓ | ✓ |
× | ✓ | ○ | ✓ | ✓ |
⊗ | ✓ | ○ | ✓ | ✓ |
⊙ | ✓ | ◐ | ✓ | ✓ |
→ | ✓ | ✓ | ✓ | ✓ |
⇥ | ✓ | ✓ | ✓ | ✓ |
← | ✓ | ✓ | ✓ | ✓ |
↤ | ✓ | ✓ | ✓ | ✓ |
aut | ✓ | ✓ | ✓ | ✓ |
![ | ✓ | ✓ | ✓ | ✓ |
!. | ✓ | ✓ | ✓ | ✓ |
≠ | ✓ | ✓ | ✓ | ✓ |
!( | ✓ | ✓ | ✓ | ✓ |
⊻ | ✓ | ✓ | ✓ | ✓ |
↦ | ✓ | ✓ | ✓ | ✓ |
⇒ | ✓ | ✓ | ✓ | ✓ |
‥ | ✓ | ✓ | ✓ | ✓ |
… | ✓ | ✓ | ✓ | ✓ |
≡ | ✓ | ✓ | ✓ | ✓ |
= | ✓ | ✓ | ✓ | ✓ |
et | ✓ | ✓ | ✓ | ✓ |
≥ | ✓ | ✓ | ✓ | ✓ |
≤ | ✓ | ✓ | ✓ | ✓ |
⊖ | ✓ | ✓ | ✓ | ✓ |
modulus<u16> | ✓ | ✕ | ✓ | ✓ |
modulus<u32> | ✓ | ✕ | ✓ | ✓ |
modulus<u64> | ✓ | ✕ | ✓ | ✓ |
modulus<u8> | ✓ | ✕ | ✓ | ✓ |
non est | ✓ | ✓ | ✓ | ✓ |
⊚ | ✓ | ✓ | ✓ | ✓ |
∨ | ✓ | ✓ | ✓ | ✓ |
∪ | ✓ | ✓ | ✓ | ✓ |
⊕ | ✓ | ✓ | ✓ | ✓ |
?[ | ✓ | ✓ | ✓ | ✓ |
?. | ✓ | ✓ | ✓ | ✓ |
?( | ✓ | ✓ | ✓ | ✓ |
§ | ✓ | ✓ | ✓ | ✓ |
⇐ | ✓ | ✓ | ✓ | ✓ |
⊘ | ✓ | ✓ | ✓ | ✓ |
⊛ | ✓ | ✓ | ✓ | ✓ |
¬ | ✓ | ✓ | ✓ | ✓ |
vel | ✓ | ✓ | ✓ | ✓ |
∷ | ✓ | ✓ | ✓ | ✓ |
∴ | ✓ | ✓ | ✓ | ✓ |
ergo | ✓ | ✓ | ✓ | ✓ |
關鍵字 — 系統途徑#
關鍵字#
| 術語 | llvm-text | wasm-text | wasm | sexp-struct | sexp | scena |
|---|---|---|---|---|---|---|
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 | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
運算子 — 系統途徑#
運算子群組#
| 術語 | llvm-text | wasm-text | wasm | sexp-struct | sexp | scena |
|---|---|---|---|---|---|---|
⊜ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
∧ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
· | ◐ | ◐ | ◐ | ◐ | ◐ | ◐ |
× | ✓ | ○ | ○ | ✓ | ✓ | ✓ |
⊗ | ○ | ○ | ○ | ✓ | ✓ | ✓ |
⊙ | ◐ | ◐ | ◐ | ○ | ○ | ◐ |
→ | ✓ | ✕ | ✕ | ✓ | ✓ | ✓ |
⇥ | ✓ | ✕ | ✕ | ✓ | ✓ | ✓ |
← | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
↤ | ✓ | ✓ | ✓ | ✕ | ✕ | ✓ |
aut | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
![ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
!. | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
≠ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
!( | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
⊻ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
↦ | ✓ | ◐ | ◐ | ✕ | ✕ | ✓ |
⇒ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
‥ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
… | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
≡ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
= | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
et | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
≥ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
≤ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
⊖ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
modulus<u16> | ✓ | ✓ | ✓ | ✕ | ✕ | ✓ |
modulus<u32> | ✓ | ✓ | ✓ | ◐ | ◐ | ✓ |
modulus<u64> | ✓ | ✓ | ✓ | ◐ | ◐ | ✓ |
modulus<u8> | ✓ | ✓ | ✓ | ✕ | ✕ | ✓ |
non est | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
⊚ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
∨ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
∪ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
⊕ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
?[ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
?. | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
?( | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
§ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
⇐ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
⊘ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
⊛ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
¬ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
vel | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
∷ | ✓ | ✓ | ✓ | ◐ | ◐ | ✓ |
∴ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
ergo | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
其他術語（existing-home / 未指定）#
existing-home#
| 術語 | rust | go | ts | faber |
|---|---|---|---|---|
alias | ✓ | ✓ | ✓ | ✓ |
arena | ✓ | ✓ | ✓ | ✓ |
@ | ✓ | ✓ | ✓ | ✓ |
f16 | ✕ | ✓ | ✓ | ✓ |
imperia | ✓ | ✓ | ✓ | ✓ |
imperium | ✓ | ✓ | ✓ | ✓ |
manifest | ✓ | ✓ | ✓ | ✓ |
metior | ✓ | ✓ | ✓ | ✓ |
nondum | ✓ | ✓ | ✓ | ✓ |
objectum | ✓ | ✓ | ✓ | ✓ |
prima | ✓ | ✓ | ✓ | ✓ |
string | ✓ | ✓ | ✓ | ✓ |
block-string | ✓ | ✓ | ✓ | ✓ |
summa | ✓ | ✓ | ✓ | ✓ |
targets | ✓ | ✓ | ✓ | ✓ |
ultima | ✓ | ✓ | ✓ | ✓ |
versio | ✓ | ✓ | ✓ | ✓ |