Jacquard: ngôn ngữ nhỏ cho code do model viết và người review

Giới thiệu

Jacquard là một ngôn ngữ lập trình nhỏ được thiết kế cho bối cảnh code chủ yếu do machine-learning model viết và con người review. Dự án thuộc FriendMachine research, mục tiêu là làm chương trình do model sinh ra dễ chạy, dễ mô phỏng, dễ kiểm tra và dễ tin hơn.

Bản 0.1 hiện là research prototype, chưa phải ngôn ngữ production. Tuy vậy, nó đưa ra một câu hỏi thực tế: nếu LLM là người viết code chính, ngôn ngữ và toolchain có nên tối ưu cho khả năng review của con người thay vì chỉ tối ưu cho việc gõ tay?

Tính năng chính

Jacquard có các thành phần sau:

• Surface syntax .jac: cú pháp nhỏ, hướng tới việc đọc/review.
• OCaml checker: kiểm tra chương trình trước khi chạy.
• CPS interpreter: interpreter cho runtime semantics.
• Native AOT backend sinh C: backend hiện compile kernel .jqd carrier.
• CLI tool: dùng để chạy và thao tác với chương trình Jacquard.
• Standard library viết bằng Jacquard.
• Warp test framework: framework test đi kèm.

Cài bản release candidate 0.1 không cần OCaml hoặc opam:

curl -fsSL https://raw.githubusercontent.com/jbwinters/jacquard-lang/jacquard-core-0.1-rc3/scripts/install.sh | sh
~/.local/bin/jac --version

Vì sao ý tưởng này quan trọng

Phần lớn ngôn ngữ phổ biến được thiết kế cho developer viết code trực tiếp. LLM làm thay đổi giả định đó: code có thể được sinh rất nhanh, nhưng chi phí review, hiểu side effect và tin vào behavior lại tăng lên.

Jacquard thử tiếp cận vấn đề ở tầng language/toolchain. Thay vì chỉ thêm prompt tốt hơn, nó tìm cách tạo một môi trường nơi code do model viết có boundary rõ, semantics nhỏ hơn và test/review path dễ kiểm soát hơn.

Cách dev có thể dùng

Ở trạng thái hiện tại, Jacquard phù hợp để đọc và thử nghiệm hơn là đưa vào production. Dev có thể dùng nó để:

• Nghiên cứu thiết kế language cho AI-generated code.
• So sánh cách checker/interpreter/test framework hỗ trợ review code do model viết.
• Lấy ý tưởng cho internal DSL, policy language hoặc workflow language nơi con người cần audit output của agent.
• Thử nghiệm với native backend và standard library nhỏ để hiểu trade-off của một language sinh ra trong kỷ nguyên LLM.

Giới hạn

Repo nói thẳng bản 0.1 là prototype. Đừng kỳ vọng ecosystem, package manager, editor integration hoặc compatibility như ngôn ngữ production. Giá trị chính lúc này là research direction: thiết kế code surface để reviewer con người bắt lỗi nhanh hơn khi writer là model.