Az E programozási nyelv

Története

A nyelv nemes „származását” jól mutatja a következo a www.erights.org honlapon található diagram.

származási diagram

A fenti ábrán a zöld élek a capability enabled nyelveket és oprendszereket mutatják. Ezek a rendszerek nagy hangsúlyt fektetnek arra, hogy a rendszerben található elemek jogosultságait a minimális szükséges szinten tartsák, a jogosultságok átadására, stb eszközöket adnak. (Az E értelmezése szeint a capability (képesség) = egy objektum hamisíthatatlan, átadható, vissza nem vonható joga, hogy kommunikáljon egy másik objektummal. (Ebbol az alapfogalomból más tulajdonságú jogok is felépíthetőek.))

Az E nyelv fejlesztése során a biztonság kulcsszerepet játszott a fejlesztők céljai között szerepelt, hogy az E nyelven olyan modulokat lehessen írni, amelyek más, nem megbízható forrásból származó kóddal is jól működnek (abban az értelemben, hogy az nem képes szétzülleszteni a programfutást, átutalni az összes pénzt a bankszámládról, nem olvashatja el azokat a fileokat, amelyekhez semmi köze, stb).