On Fri, 2005-01-28 at 08:17, Jonathan S. Shapiro wrote: > On Fri, 2005-01-28 at 15:37 +0600, Constantine Plotnikov wrote: [...] > > I have not found construct that allows raw pointer manipulation or > > primitives for conversion from number to pointer and back. > > Converting from pointer to number is fine. Converting from number to > pointer is simply permitted, and is not needed in a disciplined > implementation.
I assume you mean "simply prohibited". Converting from number to pointer violates memory safety. And without memory safety, reasoning about program's behavior just got _much_ harder. Enough harder that we don't know if it is possible for programs of any complexity. --Eric _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
