16 Jul
2016
16 Jul
'16
3:39 p.m.
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.