Eve是一种编程语言和IDE,专注于人类程序员,而不是机器。它使用独特的文档方法,使程序看起来像带有嵌入式代码的文档。程序员不用注释,而是通过结构化文本来描述代码,该结构化文本易于遵循。暂无功能-该程序是数据库,因此不需要管道或阻抗不匹配,也不需要额外的基础结构。-为并发,异步和分发而构建的语义。没有承诺,线程同步或借用。-夏娃程序练习识字编程,因为该语言没有附带的顺序。-程序通过组合有机地增长。-程序自然很小。-可以通过完整性约束在全局范围内定义正确性,使人们可以安全地为应用程序做出贡献,而不必担心在本地检查所有可能的不变性。
eve