Object-capability languages
From Erights
(Difference between revisions)
(Removed Squeak-E, as the link seems to be dead) |
(→Related to '''''E''''': Emily needs her own page) |
||
| Line 28: | Line 28: | ||
| Common Lisp || [http://erights.org/e-impls/e-on-cl/index.html E-on-CL] || [http://www.eros-os.org/pipermail/e-lang/2005-April/010572.html CL-E] | | Common Lisp || [http://erights.org/e-impls/e-on-cl/index.html E-on-CL] || [http://www.eros-os.org/pipermail/e-lang/2005-April/010572.html CL-E] | ||
|- | |- | ||
| - | | [http://caml.inria.fr/ocaml/index.en.html OCaml] || || [ | + | | [http://caml.inria.fr/ocaml/index.en.html OCaml] || || [[Emily]] |
|- | |- | ||
| Haskell || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell | | Haskell || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell | ||
Revision as of 23:07, 28 March 2007
Independent or Prior Objcap Languages
- Gedanken
- Actors
- Vulcan,
- Joule
- W7
- Eden, Emerald
- J-Kernel
- Plash
- Erlang - Erlang is almost, but not quite an object-capability language.
Related to E
| Base language | E Implementation | Adapted to objcaps |
|---|---|---|
| Java | E-on-Java | Joe-E |
| Mozart/Oz | Oz-E | |
| C/C++ | MC | |
| Smallcaps | E-on-Smallcaps | |
| Squeak | E-on-Squeak | SecureSqueak |
| Common Lisp | E-on-CL | CL-E |
| OCaml | Emily | |
| Haskell | E-on-Haskell | Caps in Haskell |
| Python | Twisted Python | |
| Perl | CaPerl | |
| Pi Calculus | Harmless Pi | |
| E | E-on-E | |
| Sebyla |
Also applicable to ML and Haskell style systems: Lightweight Static Capabilities
