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
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to