On Fri, Oct 4, 2013 at 8:32 PM, Bennie Kloosteman <[email protected]>wrote:

> 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 operative word being "claimed".

Though in fact there *are* type rules for the underlying CLR, and there is
a fairly complete semantics and type rule set for Java and for the JVM.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to