[M3devel] cm3ide, ESC, cm3jvm(?)

[Daniel Alejandro Benavides D.]

Hi all:
nice idea, JVM + CMM3 is nice product.
ESC was a nice idea too, but if you see its results in Java I don't know if it has been a "market" success (lost type checking information can make a better realization of it, like in casting errors, etc), although it was not intended for that but to be useful in the research area of CS, specially education.
I would like the idea of using typed interpretation of objects on it for Modular checking of other jvm mechanics (though Java Object Model is inherently different from that of a Module-oriented VM, but since it's almost an operating system): for instance a new type-safe object make of Objects, but in that sense, you have (mandatory) to be sound to tough compiler purists specially in Java attempt that but still not quite like Modula-3 Module semantics purity.
So it's hard to talk and hard technology to crasp on, but sure, none of them will be disliked by such a beast, anyone agree?
Thanks in advance

--- El vie, 6/4/12, Dragiša Durić <dragisha at m3w.org> escribió:

> De: Dragiša Durić <dragisha at m3w.org>
> Asunto: [M3devel] cm3ide, ESC, cm3jvm(?)
> Para: "m3devel" <m3devel at elegosoft.com>
> Fecha: viernes, 6 de abril, 2012 14:38
> Recently I found time to get cm3ide
> up… My thanks to Bill, Farshad, Randy and Olaf!
> 
> Also, I see there is ESC now in cm3 /... Can we expect
> complete version, or do we already have that? How to use?
> 
> Also II - is there any chance to get cmass JVM opensourced?
> I have many ideas how to make that useful..
> 
> TIA,
> dd
> 
>