Eve

Eve 是一种专注于人类程序员而非机器的编程语言和集成开发环境（IDE）。它采用独特的文档化方法，程序看起来像包含嵌入代码的文档。程序员通过结构化文本描述代码，而不是使用注释，这种方式更易于理解。

突出特性

程序即数据库，因此无需数据管道或解决阻抗不匹配问题，也不需要额外的基础设施。 语义设计支持并发、异步和分布式，无需使用承诺（promises）、线程同步或借用机制。 Eve 程序践行“文学编程”，因为语言本身不对顺序施加偶然性约束。 程序通过组合自然地生长。 程序天生小巧。 正确性可通过全局完整性约束定义，使开发者能够安全地贡献代码，而无需担心局部检查所有可能的不变量。