Editing E (programming language) (section)

==Philosophy==
The E language is designed for [[computer security]] and secure computing. This is performed mainly by strict adherence to the object-oriented computing model, which in its pure form, has properties that support secure computing. The E language and its standard [[Library (computing)|library]] employ a [[Capability-based security|capability-based]] design philosophy throughout in order to help programmers build secure software and to enable software components to co-operate even if they don't fully trust each other. In E, object references serve as capabilities, hence capabilities add no computational or conceptual overhead costs. The language syntax is designed to be easy for people to audit for security flaws. For example, lexical [[Scope (programming)|scoping]] limits the amount of code that must be examined for its effects on a given variable. As another example, the language uses the <code>==</code> operator for comparison and the <code>:=</code> operator for assignment; to avoid the possibility of confusion, there is no <code>=</code> operator.