Do we really need the [[HasOwnProperty]] internal method andhasOwn trap

Brendan Eich brendan at
Mon Nov 19 08:27:16 PST 2012

Claus Reinke wrote:
> Also "compile-time garbage collection" or "compile-time memory
> management". Then there is the whole area of "linear types" or
> "uniqueness types", 

"affine types"

> which allow for in-place updating (reusing
> memory) without observable side-effects when absence of other 
> references can be proven statically. Perhaps also "fusion", which
> avoids the allocation of intermediate structures, when it can be
> proven statically that construction will be followed immediately
> by deconstruction.

This is all great fun, but really off-target for JS. JS has no type 
system, lots of aliasing, and a never-ending need for speed.


More information about the es-discuss mailing list