一種面向AI且忽視人類友好性的理想語言

Pact是一種專為AI智能體設計的編程語言，它強調機器可讀的規範和約束，而非人類友好性。該語言基於S表達式，集成了來源追溯、副作用追蹤、完全性保障、延遲預算等特性，並能夠編譯為Rust代碼。其工具鏈支持從YAML規範生成代碼、搭建Web項目，並提供了多種代碼生成後端。儘管Pact在服務契約領域表現出色，但它在算法規範方面仍存在侷限。