Hello,
On 7/15/16 11:45 AM, Arthur Norman wrote:
A really easy demo if this is just
val l = length [
Vector.fromList [0],
... ];
with 10000 entries in the list.
I tried this. With 1000 entries, this is evaluated in about 17s on my
old laptop.
But the following, equivalent, returns almost instantly:
val l = length (map Vector.fromList [
[0],
... ]);
I'll let David find out what happens, but it looks like building lists
from their elements is very slow if the elements are created by application
of some function.
Bernard.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
