Object-capability languages
From Erights
(Difference between revisions)
(→Related to E) |
(→Related to E) |
||
Line 28: | Line 28: | ||
| C/C++ || [http://erights.org/e-impls/e-on-c/index.html MC] || | | C/C++ || [http://erights.org/e-impls/e-on-c/index.html MC] || | ||
|- | |- | ||
- | | http://www.erights.org/javadoc/org/erights/e/elang/smallcaps/SmallcapsOps.html Smallcaps] || [http://erights.org/e-impls/e-on-smallcaps/index.html E-on-Smallcaps] || | + | | [http://www.erights.org/javadoc/org/erights/e/elang/smallcaps/SmallcapsOps.html Smallcaps] || [http://erights.org/e-impls/e-on-smallcaps/index.html E-on-Smallcaps] || |
|- | |- | ||
| [http://www.squeak.org/ Squeak] || [http://erights.org/e-impls/e-on-squeak/index.html E-on-Squeak] || [http://swiki.squeakfoundation.org/squeak-e Squeak-E] | | [http://www.squeak.org/ Squeak] || [http://erights.org/e-impls/e-on-squeak/index.html E-on-Squeak] || [http://swiki.squeakfoundation.org/squeak-e Squeak-E] | ||
Line 36: | Line 36: | ||
| [http://caml.inria.fr/ocaml/index.en.html OCaml] || || [http://www.hpl.hp.com/techreports/2006/HPL-2006-116.html Emily] | | [http://caml.inria.fr/ocaml/index.en.html OCaml] || || [http://www.hpl.hp.com/techreports/2006/HPL-2006-116.html Emily] | ||
|- | |- | ||
- | | Haskell || E-on-Haskell || Caps in Haskell | + | | Haskell || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell |
|- | |- | ||
| Python || || [http://twistedmatrix.com/ Twisted Python] | | Python || || [http://twistedmatrix.com/ Twisted Python] |
Revision as of 07:36, 26 December 2006
Independent or Prior Objcap Languages
Actors, Vulcan,
Eden, Emerald
Related to E
Base language | E Implementation | Adapted to objcaps |
---|---|---|
Java | E-on-Java | Joe-E |
http://www.mozart-oz.org/ Mozart/Oz] | Oz-E | |
C/C++ | MC | |
Smallcaps | E-on-Smallcaps | |
Squeak | E-on-Squeak | Squeak-E |
Common Lisp | E-on-CL | CL-E |
OCaml | Emily | |
Haskell | E-on-Haskell | Caps in Haskell |
Python | Twisted Python | |
Perl | CaPerl | |
E | E-on-E | |
Sebyla |
Also applicable to ML and Haskell style systems: Lightweight Static Capabilities