The E programming language [0] for secure distributed computing. A language that makes it very easy to reason about what permissions your code actually has, by

The E programming language [0] for secure distributed computing. A language that makes it very easy to reason about what permissions your code actually has, by implementing the object-capability security model. [0] https://en.wikipedia.org/wiki/E_(programming_language) https://en.wikipedia.org/wiki/E_(programming_language)