[Ur] Arrays and maps?

[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.
>
> Is this algorithmic inefficiency not something to be concerned about?

I don't know.  Do you notice any performance issues with your 
application under realistic workloads?