Re type rules I havent seen any for C# or Javascript either .. ( and Javas trouble with floats on platforms has been noted) yet they claim to be safe.
The type system of rust around traits had major changed only quite recently . Ben On Wed, Oct 2, 2013 at 1:44 AM, Jonathan S. Shapiro <[email protected]>wrote: > Have the type rules for Rust borrowed pointers been published? For that > matter, have the type rules for *any* of Rust been published? > > If not, what is our basis for confidence in the safety of Rust? > > > Jonathan > > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev > >
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
