Church编程语言

Church是一种简单、安全、快速的纯函数式编程语言，编译为WebAssembly。它被设计为在任何地方运行，包括

1. 网页浏览器
2. 服务器机器
3. 区块链合约
4. 物联网设备

以及其他可以托管WASM运行时的平台。

🚨 施工中

Church正在积极开发中，因此非常不稳定。请谨慎使用，最好仅用于实验。

🏔️ 指导原则

😇 简单：就像$\lambda$-演算一样，Church简洁明了。它通过其强大的类型系统辅助抽象和组合来处理复杂任务。

🔒 安全：Church的函数纯度和丰富的类型检查器可以立即消除大量错误和不一致性。编译器将引导您走向成功的道路。

⚡ 快速：最后但同样重要的是，Church针对WebAssembly，将执行速度与跨多个平台执行的能力结合起来。