Re: [Ur] Arrays and maps?

2017-08-10 Thread Adam Chlipala
On 07/25/2017 11:48 AM, Artyom Shalkhakov wrote: Well, arrays may be overused and such, but here in this particular instance: https://github.com/ashalkhakov/urweb-projects/blob/master/sam/app.ur#L238 The update requires rebuilding the whole list, seems quite wasteful for this particular usage.

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