Object-capability languages
From Erights
Independent or Prior Objcap Languages
Dynamic
- Gedanken
- Actors
- Vulcan,
- Joule
- W7
- Plash
- AmbientTalk
- Newspeak
- Evlan (Possibly statically typed in future editions)
Static
Related to E
| Base language | E Implementation | Adapted to objcaps |
|---|---|---|
| Java | E-on-Java | Joe-E Waterken AsyncObjects |
| Mozart/Oz | Oz-E | |
| C/C++ | MC Ecru | |
| Scala | AsyncScala | |
| Smallcaps | E-on-Smallcaps | |
| Squeak | E-on-Squeak | SecureSqueak SqueakElibVM |
| Common Lisp | E-on-CL | CL-E |
| OCaml | Emily | |
| Haskell | E-on-Haskell, eonhs | Caskell |
| Python | Twisted Python FoolsCap Monte | |
| Perl | CaPerl | |
| Pict | Tamed Pict | |
| E | E-on-E | |
| Sebyla | ||
| Javascript | E-on-JS | proposed Secure EcmaScript (SES) Caja ADsafe FBJSVats on Gears Jacaranda Microsoft WebSandbox Gatekeeper Dojo Secure |
Also applicable to ML and Haskell style systems: Lightweight Static Capabilities
