纯形式具有支持安全计算的属性。E语言及其标准库始终采用的设计理念，以帮助程序员构建安全的软件，并使软件组件即使彼此不完全信任也能够合作。在E语言中，对象引用用作功能，因此功能不增加计算或概念性开销。该语言的语法被设计为便于人们审查安全性缺陷。例如，词法作用域限制了必须检查对给定变量的影响的代码数量。另一个例子，语言使用==运算符进行比较，使用:=运算符进行赋值; 为了避免混淆的可能性，没有=运算符。
计算模型.在E语言中，所有值都是对象，计算是通过向对象发送消息来执行的。每个物体都