Petr,
Petr Rockai <me@mornfall.net> writes:
> Jason Dagit <dagit@codersbase.com> writes:
>> With darcs-hs [...] the physical RAM usage is about 365M, but the
>> run time was around 100 seconds.
>
> [The zipTrees definition] is probably the naïvest possible – O(n²)
> and also too strict, so it's just matter of writing one that is both
> more efficient (can be done in nlogn) and more lazy... I'll get to
> it eventually.
I have made a ticket so this won't be forgotten.
It is assigned to you.
|