[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