Object-capability languages
From Erights
(Difference between revisions)
(The link to retrofitted Pict was updated. Now it points to its homepage with complete information.) |
(→Independent or Prior Objcap Languages) |
||
(One intermediate revision not shown) | |||
Line 13: | Line 13: | ||
Static | Static | ||
+ | * [http://www.ponylang.org/ Pony] | ||
* [http://portal.acm.org/citation.cfm?doid=323627.323646 Eden, Emerald] | * [http://portal.acm.org/citation.cfm?doid=323627.323646 Eden, Emerald] | ||
* [http://citeseer.ist.psu.edu/279442.html J-Kernel] | * [http://citeseer.ist.psu.edu/279442.html J-Kernel] | ||
Line 28: | Line 29: | ||
|- | |- | ||
| C/C++ || [http://erights.org/e-impls/e-on-c/index.html MC] [http://washort.twistedmatrix.com/2008/07/ecru-c-runtime-for-e.html Ecru] || | | C/C++ || [http://erights.org/e-impls/e-on-c/index.html MC] [http://washort.twistedmatrix.com/2008/07/ecru-c-runtime-for-e.html Ecru] || | ||
+ | |- | ||
+ | | Scala || || [http://asyncobjects.sourceforge.net/asyncscala/ AsyncScala] | ||
|- | |- | ||
| [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] || | ||
Line 43: | Line 46: | ||
| Perl || || [http://caperl.links.org/ CaPerl] | | Perl || || [http://caperl.links.org/ CaPerl] | ||
|- | |- | ||
- | | [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] || || [http://www2.fiit.stuba.sk/~kosik/ | + | | [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] || || [http://www2.fiit.stuba.sk/~kosik/tamed-pict.html Tamed Pict] |
|- | |- | ||
| E || E-on-E || | | E || E-on-E || |
Revision as of 22:22, 30 September 2015
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 Secure Python CapPython safelite Repy | |
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