Tính tương thích của đích

Faber là một ngôn ngữ với nhiều hợp đồng biên dịch. Trang này là **ma trận khả năng hạ mã được đo lường**: với mỗi thuật ngữ trong corpus, đích nào có thể hạ mã thuật ngữ đó và ở mức hỗ trợ nào.

Các động từ chính sách (hỗ trợ / loại bỏ / cảnh báo / từ chối / trì hoãn) và định tuyến pipeline nằm trên Codegen targets. Trang này là danh sách hàng lớn, dễ quét — các đích trên application-lane của HIR và systems-lane của MIR nằm cạnh nhau trong các bảng bên dưới.

Tóm tắt CLI trực tiếp: faber targets.

Được dựng: unknown bởi faber/scripta/render-matrices.py từ JSON đo lường radix — không chỉnh sửa. Đo lường: emit_hir_target_matrix + emit_mir_target_matrix (trong tiến trình, không dùng toolchain bên ngoài). Kết nối: các term trong corpus/index.toml → exempla.

Đây là ma trận hỗ trợ grammar×target chính thức được tạo tự động. Ma trận báo cáo khả năng hạ mã — target X có thể hạ grammar production Y hay không — cho mọi term trong exempla corpus. Ngữ nghĩa thời gian chạy (các động từ chính sách erase/warn/defer), hợp đồng theo từng đích và định tuyến pipeline nằm trên Codegen targets, tài liệu này liên kết ngược về đây để hiển thị các hàng.

Chú giải#

✓ nghĩa là các corpus exempla sử dụng term này hạ mã được thành target. Điều đó không đảm bảo ngữ nghĩa thời gian chạy giống hệt nhau. Một số target loại bỏ hoặc cảnh báo với một số construct (ví dụ Go loại bỏ các chế độ mượn de/in/ex) — chúng vẫn hiển thị ✓ ở đây vì chúng hạ mã được. Xem tài liệu chính sách để hiểu rõ điểm này.

Tóm tắt trên toàn corpus (tất cả term đã đăng ký)#

Tuyến ứng dụng (HIR → ngôn ngữ nguồn được phát ra)

Tuyến hệ thống (MIR → tạo phẩm thiết bị/IR)

Từ khóa — tuyến ứng dụng#

từ khóa#

Toán tử — tuyến ứng dụng#

nhóm toán tử#

Từ khóa — tuyến hệ thống#

từ khóa#

Toán tử — tuyến hệ thống#

nhóm toán tử#

Các term khác (existing-home / không chỉ định)#

existing-home#