[e-lang] Sun Open Sources Java. Towards Joe-E Light?
Mark S. Miller
markm at cs.jhu.edu
Mon Nov 13 11:23:24 CST 2006
http://java.sun.com
This would let us build a Joe-E implementation subtractively rather than
additively! For now, I'll call such an implementation "Joe-E Light".
Further, Joe-E Light could validate many of Joe-E's taming decisions, as well
as provide them in safer form within Joe-E Light, by revising much of the
tamed-in subset of the Java class libraries so that they pass the Joe-E verifier.
What other opportunities does this event provide for objcap languages, and for
event-loop concurrency?
--
Text by me above is hereby placed in the public domain
Cheers,
--MarkM
More information about the e-lang
mailing list