Re: Enforcing return value types

2007-11-13 Thread Nathan de Vries
On Mon, 2007-11-12 at 23:50 -0800, Lars T Hansen wrote: I'm guessing you're just experiencing the effects of http://bugs.ecmascript.org/ticket/285. The correct behavior is a run-time error in standard mode; compile-time error in strict mode. Ah, so it is. I'll assume the implementers will

Re: need some clarification on compile-time type vs. run-time type

2007-11-13 Thread P T Withington
On 2007-11-12, at 02:04 EST, Brendan Eich wrote: Imagine explicit parenthese (not allowed because they mean union type, but pretend) I was just thinking how clever it was that parentheses meant both union type and expression grouping, because a

Re: need some clarification on compile-time type vs. run-time type

2007-11-13 Thread Yuh-Ruey Chen
Brendan Eich wrote: I think that would be a good thing. Another thought: if |x is v|, where |v| is a meta-object, works, then one would think that it should also work for |like|, e.g. var x = int 10 is x; // ok 10 is like x; // ? But if that last statement is allowed, then so