Re: [Ur] Improving JS VM (was: Re: Arrays and maps?)

2017-08-10 Thread Adam Chlipala
On 07/24/2017 11:08 PM, Artyom Shalkhakov wrote: 2017-07-25 1:46 GMT+06:00 Aistis Raulinaitis : I agree, I think arrays are much overused in programming for the most part. My thoughts on are that these libs should facilitate easier interop with the existing JS libs rather

[Ur] Improving JS VM (was: Re: Arrays and maps?)

2017-07-24 Thread Artyom Shalkhakov
2017-07-25 1:46 GMT+06:00 Aistis Raulinaitis : > I agree, I think arrays are much overused in programming for the most part. > My thoughts on are that these libs should facilitate easier interop with the > existing JS libs rather than as a bedrock for a data structure on the