一种面向AI且忽视人类友好性的理想语言

Pact是一种专为AI智能体设计的编程语言，它强调机器可读的规范和约束，而非人类友好性。该语言基于S表达式，集成了来源追溯、副作用追踪、完全性保障、延迟预算等特性，并能够编译为Rust代码。其工具链支持从YAML规范生成代码、搭建Web项目，并提供了多种代码生成后端。尽管Pact在服务契约领域表现出色，但它在算法规范方面仍存在局限。