reformed with

P T Withington ptw at
Mon Feb 5 17:28:49 PST 2007

On 2007-02-05, at 20:06 EST, Brendan Eich wrote:

>> Do you mean that in strict mode, |with(o)| would be translated to
>> |with(o:typeOf(o))| where typeOf(o) is determined at compile-time? If
>> so, that would be nice.
> Not sure what Lars meant, but I saw something like that and found  
> it attractive at first. However, intrinsic::typeOf(o) is a runtime  
> expression, as well as a call to an optional library function.  
> Imputing it here in the case of with-under-strict-mode is unusual  
> and something TG1 members seem to be against, but we're still  
> debating.

If I have:

   var o:T = ...;

(or the type of o is already declared in some other fashion in the  
lexical context), do I still have to say:

   with (o:T) ...


More information about the Es4-discuss mailing list