Pony（编程语言）

定义

Pony 是一门面向高并发场景的静态类型、面向对象、基于 Actor 模型的编程语言，编译为本地代码，由 Sylvan Clebsch 等人设计。

引用能力

Pony 最具特色的机制是引用能力（reference capabilities）：每个引用都带有 iso、val、ref、box、trn、tag 之一的能力标注，描述该引用允许的读写与共享方式。类型系统据此在编译期证明程序不存在数据竞争，因此 Pony 的 Actor 之间传递可变数据无需加锁。

其他特性

Pony 保证无空指针、类型安全且无数据竞争；异常必须被处理，垃圾回收按 Actor 独立进行，不需要全局停顿（stop-the-world）。

评价

Pony 社区规模有限，工业采用不多，但其能力类型系统是并发安全研究的重要实践，对 Rust 之外的「编译期并发安全」路线提供了参照。