E je súbežný objektovo orientovaný programovací jazyk založený na triedach so zameraním na bezpečnosť a spoľahlivé distribuované systémy. Navrhli a vyvinuli ho Mark S. Miller, Dan Ingalls, Bob Harper a David Ungar v Xerox PARC v polovici 80. rokov 20. storočia. Jazyk E bol použitý v mnohých komerčných a open-source projektoch, najmä v operačnom systéme Inferno.
E je založený na programovacom jazyku Smalltalk-80. Na rozdiel od Smalltalku, ktorý je určený na vzdelávacie a výskumné účely, je však E určený na používanie pri vývoji komerčného softvéru. E je priamym potomkom programovacieho jazyka T, ktorý bol vyvinutý v Xerox PARC začiatkom 80. rokov.
E je súbežný programovací jazyk, čo znamená, že je určený na podporu programov, ktoré môžu bežať paralelne. Je to na rozdiel od väčšiny ostatných programovacích jazykov, ktoré sú určené pre programy, ktoré bežia sekvenčne.
E je jazyk založený na triedach, čo znamená, že na definovanie vzťahov medzi objektmi používa hierarchiu tried. Jazyk E podporuje aj viacnásobnú dedičnosť, čo znamená, že trieda môže dediť z viac ako jednej inej triedy.
E je objektovo orientovaný jazyk, čo znamená, že na reprezentáciu údajov a procedúr používa objekty. Objekty možno vytvárať, ničiť a odovzdávať ako argumenty procedúram. Objektovo orientované programovacie jazyky sú navrhnuté na podporu vývoja veľkých, komplexných softvérových systémov.
Jazyk E je zameraný na bezpečnosť. Obsahuje funkcie, ktoré majú za cieľ sťažovať porušovanie bezpečnostných zásad programami. Jazyk E napríklad podporuje zabezpečenie založené na schopnostiach, čo znamená, že k objektu možno pristupovať len vtedy, ak má program príslušné oprávnenia.
E je distribuovaný programovací jazyk. Obsahuje funkcie, ktoré majú uľahčiť vývoj programov, ktoré sa spúšťajú na viacerých počítačoch. E napríklad podporuje vzdialené volania procedúr, čo znamená, že procedúru možno zavolať na vzdialenom počítači.
E je jazyk s otvoreným zdrojovým kódom. Referenčná implementácia programovacieho jazyka E je k dispozícii pod licenciou open-source.
E je univerzálny programovací jazyk. Možno ho použiť na vývoj širokej škály aplikácií.