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?
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
