If you can prove the runtime safe, then its a safe language right? When I am talking about a safe language, I am including proving things.
For example 'C' with a different type system, where safety can be proved in the type system would be a safe language. Bytecode interpreted languages are only a subset of safe languages, and one specific implementation technique. I would rather compilevto native, no runtime, and using proofs. You need to combine the proof requirement into the compiler, so it will not compile unsafe code. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
