ความเข้ากันได้ของเป้าหมาย

Faber เป็นภาษาเดียวที่มีสัญญาการคอมไพล์หลายรูปแบบ หน้านี้คือ เมทริกซ์ความสามารถในการลดรูปที่วัดได้: สำหรับคำแต่ละคำใน corpus จะแสดงว่า เป้าหมายใดลดรูปได้ และรองรับในระดับใด

คำกริยาตามนโยบาย (รองรับ / ลบออก / เตือน / ปฏิเสธ / เลื่อน) และการกำหนดเส้นทาง ของ pipeline อยู่ที่ Codegen targets หน้านี้คือ รายการแถวขนาดใหญ่ที่อ่านกวาดได้ — เป้าหมาย application-lane ของ HIR และ เป้าหมาย systems-lane ของ MIR แสดงเคียงกันในตารางด้านล่าง

สรุปจาก CLI แบบสด: faber targets

เรนเดอร์โดยอัตโนมัติ: unknown โดย faber/scripta/render-matrices.py จาก JSON การวัดของ radix — ห้ามแก้ไข การวัด: emit_hir_target_matrix + emit_mir_target_matrix (ภายในกระบวนการ ไม่มี toolchain ภายนอก) การเชื่อมโยง: terms ใน corpus/index.toml → exempla

นี่คือ เมทริกซ์ support ของ grammar×target ที่สร้างอย่างเป็นทางการ โดยรายงาน ความสามารถในการลดรูป — target X ลดรูป grammar production Y ได้หรือไม่ — สำหรับทุก term ใน exempla corpus ความหมายขณะรัน (คำกริยานโยบาย erase/warn/defer), สัญญารายเป้าหมาย และการกำหนดเส้นทาง pipeline อยู่ใน Codegen targets ซึ่งลิงก์กลับมาที่หน้านี้เพื่อดูแถวต่าง ๆ

คำอธิบายสัญลักษณ์#

สัญลักษณ์	ความหมาย
✓	รองรับเต็มรูปแบบ — exempla ที่วิเคราะห์ได้ทั้งหมดของ term ลดรูปได้
◐	รองรับบางส่วน — exempla บางรายการลดรูปได้ แต่อีกบางรายการมีช่องว่างที่วัดได้
○	วางแผนไว้ — ยังลดรูปไม่ได้; curated overlay (`scripta/ebnf-matrix-overrides.toml`)
✕	ไม่รองรับ — ไม่มี exempla รายการใดลดรูปได้; ช่องว่างที่วัดได้เป็นความจริงตามค่าเริ่มต้น
—	ยังไม่ได้วัด — ไม่มี exempla ที่วิเคราะห์ได้สำหรับ term นี้บน lane นี้

✓ หมายความว่า corpus exempla ที่ใช้ term นี้ลดรูปไปยัง target ได้ แต่ไม่ได้ รับประกันว่าความหมายขณะรันจะเหมือนกันทุกประการ target บางรายการ ลบออก หรือ เตือน สำหรับ construct บางชนิด (เช่น Go ลบโหมดการยืม de/in/ex) — รายการเหล่านั้นยังแสดงเป็น ✓ ที่นี่ เพราะลดรูปได้ โปรดดูรายละเอียดในเอกสารนโยบาย

สรุปทั้ง corpus (ทุก term ที่ลงทะเบียน)#

เลนแอปพลิเคชัน (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%

คีย์เวิร์ด — เลนแอปพลิเคชัน#

คีย์เวิร์ด#

term	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`	✓	✓	✓	✓

ตัวดำเนินการ — เลนแอปพลิเคชัน#

กลุ่มตัวดำเนินการ#

term	rust	go	ts	faber
`⊜`	✓	✓	✓	✓
`∧`	✓	✓	✓	✓
`·`	✓	◐	✓	✓
`×`	✓	○	✓	✓
`⊗`	✓	○	✓	✓
`⊙`	✓	◐	✓	✓
`→`	✓	✓	✓	✓
`⇥`	✓	✓	✓	✓
`←`	✓	✓	✓	✓
`↤`	✓	✓	✓	✓
`aut`	✓	✓	✓	✓
`![`	✓	✓	✓	✓
`!.`	✓	✓	✓	✓
`≠`	✓	✓	✓	✓
`!(`	✓	✓	✓	✓
`⊻`	✓	✓	✓	✓
`↦`	✓	✓	✓	✓
`⇒`	✓	✓	✓	✓
`‥`	✓	✓	✓	✓
`…`	✓	✓	✓	✓
`≡`	✓	✓	✓	✓
`=`	✓	✓	✓	✓
`et`	✓	✓	✓	✓
`≥`	✓	✓	✓	✓
`≤`	✓	✓	✓	✓
`⊖`	✓	✓	✓	✓
`modulus<u16>`	✓	✕	✓	✓
`modulus<u32>`	✓	✕	✓	✓
`modulus<u64>`	✓	✕	✓	✓
`modulus<u8>`	✓	✕	✓	✓
`non est`	✓	✓	✓	✓
`⊚`	✓	✓	✓	✓
`∨`	✓	✓	✓	✓
`∪`	✓	✓	✓	✓
`⊕`	✓	✓	✓	✓
`?[`	✓	✓	✓	✓
`?.`	✓	✓	✓	✓
`?(`	✓	✓	✓	✓
`§`	✓	✓	✓	✓
`⇐`	✓	✓	✓	✓
`⊘`	✓	✓	✓	✓
`⊛`	✓	✓	✓	✓
`¬`	✓	✓	✓	✓
`vel`	✓	✓	✓	✓
`∷`	✓	✓	✓	✓
`∴`	✓	✓	✓	✓
`ergo`	✓	✓	✓	✓

คีย์เวิร์ด — เลนระบบ#

คีย์เวิร์ด#

term	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`	✓	✓	✓	✓	✓	✓

ตัวดำเนินการ — เลนระบบ#

กลุ่มตัวดำเนินการ#

term	llvm-text	wasm-text	wasm	sexp-struct	sexp	scena
`⊜`	✓	✓	✓	✓	✓	✓
`∧`	✓	✓	✓	✓	✓	✓
`·`	◐	◐	◐	◐	◐	◐
`×`	✓	○	○	✓	✓	✓
`⊗`	○	○	○	✓	✓	✓
`⊙`	◐	◐	◐	○	○	◐
`→`	✓	✕	✕	✓	✓	✓
`⇥`	✓	✕	✕	✓	✓	✓
`←`	✓	✓	✓	✓	✓	✓
`↤`	✓	✓	✓	✕	✕	✓
`aut`	✓	✓	✓	✓	✓	✓
`![`	✓	✓	✓	✓	✓	✓
`!.`	✓	✓	✓	✓	✓	✓
`≠`	✓	✓	✓	✓	✓	✓
`!(`	✓	✓	✓	✓	✓	✓
`⊻`	✓	✓	✓	✓	✓	✓
`↦`	✓	◐	◐	✕	✕	✓
`⇒`	✓	✓	✓	✓	✓	✓
`‥`	✓	✓	✓	✓	✓	✓
`…`	✓	✓	✓	✓	✓	✓
`≡`	✓	✓	✓	✓	✓	✓
`=`	✓	✓	✓	✓	✓	✓
`et`	✓	✓	✓	✓	✓	✓
`≥`	✓	✓	✓	✓	✓	✓
`≤`	✓	✓	✓	✓	✓	✓
`⊖`	✓	✓	✓	✓	✓	✓
`modulus<u16>`	✓	✓	✓	✕	✕	✓
`modulus<u32>`	✓	✓	✓	◐	◐	✓
`modulus<u64>`	✓	✓	✓	◐	◐	✓
`modulus<u8>`	✓	✓	✓	✕	✕	✓
`non est`	✓	✓	✓	✓	✓	✓
`⊚`	✓	✓	✓	✓	✓	✓
`∨`	✓	✓	✓	✓	✓	✓
`∪`	✓	✓	✓	✓	✓	✓
`⊕`	✓	✓	✓	✓	✓	✓
`?[`	✓	✓	✓	✓	✓	✓
`?.`	✓	✓	✓	✓	✓	✓
`?(`	✓	✓	✓	✓	✓	✓
`§`	✓	✓	✓	✓	✓	✓
`⇐`	✓	✓	✓	✓	✓	✓
`⊘`	✓	✓	✓	✓	✓	✓
`⊛`	✓	✓	✓	✓	✓	✓
`¬`	✓	✓	✓	✓	✓	✓
`vel`	✓	✓	✓	✓	✓	✓
`∷`	✓	✓	✓	◐	◐	✓
`∴`	✓	✓	✓	✓	✓	✓
`ergo`	✓	✓	✓	✓	✓	✓

Term อื่น (`existing-home` / ไม่ระบุ)#

existing-home#

term	rust	go	ts	faber
`alias`	✓	✓	✓	✓
`arena`	✓	✓	✓	✓
`@`	✓	✓	✓	✓
`f16`	✕	✓	✓	✓
`imperia`	✓	✓	✓	✓
`imperium`	✓	✓	✓	✓
`manifest`	✓	✓	✓	✓
`metior`	✓	✓	✓	✓
`nondum`	✓	✓	✓	✓
`objectum`	✓	✓	✓	✓
`prima`	✓	✓	✓	✓
`string`	✓	✓	✓	✓
`block-string`	✓	✓	✓	✓
`summa`	✓	✓	✓	✓
`targets`	✓	✓	✓	✓
`ultima`	✓	✓	✓	✓
`versio`	✓	✓	✓	✓

ความเข้ากันได้ของเป้าหมาย

คำอธิบายสัญลักษณ์#

สรุปทั้ง corpus (ทุก term ที่ลงทะเบียน)#

คีย์เวิร์ด — เลนแอปพลิเคชัน#

คีย์เวิร์ด#

ตัวดำเนินการ — เลนแอปพลิเคชัน#

กลุ่มตัวดำเนินการ#

คีย์เวิร์ด — เลนระบบ#

คีย์เวิร์ด#

ตัวดำเนินการ — เลนระบบ#

กลุ่มตัวดำเนินการ#

Term อื่น (existing-home / ไม่ระบุ)#

existing-home#

Term อื่น (`existing-home` / ไม่ระบุ)#