[M3devel] Just putting it out there...

[Daniel Alejandro Benavides D.]

Hi all:
Its interesting that after all, being Modula-3 a systems programming language any of its unsafe features are still as it is written in Modula-3 itself no harm to the Modula-3 runtime itself you can isolate the unsafe features to allow pretty clean representation of the system.
Java had from the beginning an unsafe feature (not sure what it looks today) for type checking unsound with respect to its static semantics a type rule of array of objects subtyping, but they cleaned the missing check in the JVM as a runtime error.
Original JVM M3 implementation had a C based interface to it so you could run things in the native part of a Java execution using Modula-3 runtime fetures which doesn't allow messing with the safe modules but they can play with it.
In the other hand SPIN had some small extensions to allow type checking of some extra type rules to allow dynamic conversions in a safe way. It allows a little bit of extra freedom.
So both solutions could create a space for executing, for handling unsafe features to pass under safe threshold.
Hope it helps
 

--- El mar, 20/7/10, Tony Hosking <hosking at cs.purdue.edu> escribió:

> De: Tony Hosking <hosking at cs.purdue.edu>
> Asunto: Re: [M3devel] Just putting it out there...
> Para: "Mark Wickens" <mark at wickensonline.co.uk>
> CC: "m3devel" <m3devel at elegosoft.com>
> Fecha: martes, 20 de julio, 2010 08:26
> Running Modula-3 on the Sun JVM poses
> several difficulties, not least that Modula-3 is a systems
> programming language like C/C++.  Getting C, C++, or
> Modula-3 to run on the JVM would all be the same level of
> difficulty.  The safe subset of Modula-3 would be less
> difficult, but the unsafe operations would probably be a
> showstopper.  On the other hand, at one point there was
> a version of Java running in the Modula-3 run-time.
> 
> On 20 Jul 2010, at 03:26, Mark Wickens wrote:
> 
> > Hi guys,
> > 
> > Has there been any discussion/moves about implementing
> Modula-3 as a
> > language that runs on the Sun JVM?
> > 
> > Seems a logical step given the similarities of Java to
> Modula-3 (I got
> > that phrase the right way round, didn't I?)
> > 
> > That is something I would definitely be able to
> provide help for.
> > 
> > Regards, Mark.
> 
>