E-on-JavaScript
From Erights
Kevin Reid (Talk | contribs) (add text from announcement) |
Kevin Reid (Talk | contribs) (updates) |
||
Line 4: | Line 4: | ||
<svn://svn.synchrona.org/erights/e-on-javascript/trunk> | <svn://svn.synchrona.org/erights/e-on-javascript/trunk> | ||
- | It is designed to interoperate with Caja: If cajita.js is also loaded, | + | It is designed to interoperate with [[Caja]]: If cajita.js is also loaded, |
E code can call Cajita-tamed objects; also, the output of the compiler | E code can call Cajita-tamed objects; also, the output of the compiler | ||
- | should be within the Cajita subset (I have not tested this). | + | should be within the Cajita subset (I have not tested this). However, Cajita code can create objects which violate E [[sameness]] invariants. |
It is as yet quite incomplete; especially, the compiler does not | It is as yet quite incomplete; especially, the compiler does not | ||
Line 13: | Line 13: | ||
==Demo== | ==Demo== | ||
- | [http://www.slimy.com/~kpreid/eojs/demo/ Out-of-date demo] | + | [http://www.slimy.com/~kpreid/eojs/demo/ Out-of-date demo] {{XXX|broken link}} |
It supports converting an Updoc document, or a HTML document with embedded Updoc, into a HTML document such | It supports converting an Updoc document, or a HTML document with embedded Updoc, into a HTML document such | ||
Line 23: | Line 23: | ||
color; this is to be fixed). | color; this is to be fixed). | ||
- | As this particular Updoc example was borrowed from E-on-CL, many of the tests fail | + | As this particular Updoc example was borrowed from [[E-on-CL]], many of the tests fail |
because they are specific to E-on-CL in some way. Many other tests | because they are specific to E-on-CL in some way. Many other tests | ||
fail because in the demonstrated version there was no printing subsystem yet, so everything uses | fail because in the demonstrated version there was no printing subsystem yet, so everything uses |
Revision as of 00:32, 11 April 2011
E-on-JavaScript is an E implementation which compiles E to JavaScript code, suitable for running in web browsers.
The source is at
<svn://svn.synchrona.org/erights/e-on-javascript/trunk>
It is designed to interoperate with Caja: If cajita.js is also loaded, E code can call Cajita-tamed objects; also, the output of the compiler should be within the Cajita subset (I have not tested this). However, Cajita code can create objects which violate E sameness invariants.
It is as yet quite incomplete; especially, the compiler does not implement all of Kernel-E, and generates inefficient and verbose code.
Demo
Out-of-date demo XXX broken link
It supports converting an Updoc document, or a HTML document with embedded Updoc, into a HTML document such that the tests are executed. A (stale) example.
Not-yet-executed tests have dashed bars to the left, successful tests have light gray bars, and unsuccessful tests have red bars and show the expected and actual values (which are not differentiated except by color; this is to be fixed).
As this particular Updoc example was borrowed from E-on-CL, many of the tests fail because they are specific to E-on-CL in some way. Many other tests fail because in the demonstrated version there was no printing subsystem yet, so everything uses JS .toString() and thus the wrong syntax.