Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme
Programming Language

E (programming language)

Object-Oriented Language

E is an object oriented programming language for secure distributed computing, created in 1997 by Mark S. Miller, Dan Bornstein, Douglas Crockford, Chip Morningstar and others at Electric Communities, drawing on the earlier Joule language and on Original-E, a set of extensions to Java for secure distributed programming. E combines object oriented design with message passing, using a concurrency model of event loops and promises intended to make deadlock impossible, and its standard library is built around capability based security so that software components can cooperate without needing to fully trust one another. Its syntax was designed with security auditing in mind, for example using := for assignment and == for comparison rather than reusing = for both. Programs run inside units called vats, each with its own single thread, stack and event queue, communicating with other vats through immediate calls or through eventual sends that return promises. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
First Released
1997 1
Significance
A concurrency model based on event loops and promises ensures that deadlock can never occur. 2
Classification
Typing Discipline
Dynamically Typed 1
Typing Discipline
Strongly Typed 1
Connections

Follows Typing Discipline

Entity-backed identity for the typing discipline value this language already carries as an enum fact, resolved to a concept entity by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The enum fact itself stays on the entity unchanged.

Entity-backed identity for the typing discipline value this language already carries as an enum fact, resolved to a concept entity by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The enum fact itself stays on the entity unchanged.

In Field

Source Wikipedia: E (programming language)
Sources
1. Wikidata: E
  • Wikidata Q2658244, resolved via en.wikipedia pageprops (wave rule R-L)
  • Wikidata Q2658244 P7078 (typing discipline)
View the Source
2. Wikipedia: E (programming language)
  • Lead paragraph, sentence 3
    A concurrency model based on event loops and promises ensures that deadlock can never occur.
  • In Group: C-Family Object-Oriented Languages, lead states E combines message-based computation with Java-like syntax and is mainly descended from Joule and Original-E, a set of extensions to Java for secure distributed programming
  • In Field: Programming Language Theory, Lead sentence
    E is an object-oriented programming language for secure distributed computing, created by Mark S. Miller, Dan Bornstein, Douglas Crockford, Chip Morningstar and others at Electric Communities in 1997. E is mainly descended from the concurrent language Joule an
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.