Eve
Eve
软件描述
Eve 是一种编程语言和集成开发环境，专注于人类程序员而非机器。它采用独特的文档化方法，使程序看起来像包含嵌入代码的文档。程序员通过结构化文本描述代码，而不是使用注释……
官方网站
访问软件的官方网站了解更多信息
programming.witheve.com
安全链接HTTPS
什么是 Eve?
Eve 是一种专注于人类程序员而非机器的编程语言和集成开发环境（IDE）。它采用独特的文档化方法，程序看起来像包含嵌入代码的文档。程序员通过结构化文本描述代码，而不是使用注释，这种方式更易于理解。
突出特性
程序即数据库，因此无需数据管道或解决阻抗不匹配问题，也不需要额外的基础设施。 语义设计支持并发、异步和分布式，无需使用承诺（promises）、线程同步或借用机制。 Eve 程序践行“文学编程”，因为语言本身不对顺序施加偶然性约束。 程序通过组合自然地生长。 程序天生小巧。 正确性可通过全局完整性约束定义，使开发者能够安全地贡献代码，而无需担心局部检查所有可能的不变量。
