Re: `map-derivation' is too slow for meaningful usage

2025-02-05 Thread Sergio Pastor Pérez
Hello, On 10/23/24 18:38, Ludovic Courtès wrote: No idea, but the implementation is likely naïve: I wrote once, tested it on simple cases, but it never got any use beyond that. I went ahead and implemented caching[1] so the procedure is usable for derivations with big dependency bags. It even

Re: `map-derivation' is too slow for meaningful usage

2024-10-23 Thread Ludovic Courtès
Hi, Sergio Pastor Pérez skribis: > On 06-09-2024 12:17, Ludovic Courtès wrote: >> Perhaps we could try and address those performance issues, and then see >> if we could come up maybe with a “derivation transformation” framework >> to make it more approachable? > > That sound good to me. Do you h

Re: `map-derivation' is too slow for meaningful usage

2024-10-01 Thread Sergio Pastor Pérez
Hello, Ludo. On 06-09-2024 12:17, Ludovic Courtès wrote: Perhaps we could try and address those performance issues, and then see if we could come up maybe with a “derivation transformation” framework to make it more approachable? That sound good to me. Do you have any idea on what could be the

Re: `map-derivation' is too slow for meaningful usage

2024-09-06 Thread Ludovic Courtès
Hi Sergio, Sergio Pastor Pérez skribis: > Today I've spent some time understanding the issue with the > `map-derivation` procedure[1]. I've submitted a fix to the issue I > previously opened. > > As I describe in the answer, the procedure seems too slow for any > meaningful usage; specially what

`map-derivation' is too slow for meaningful usage

2024-09-01 Thread Sergio Pastor Pérez
Hello! Today I've spent some time understanding the issue with the `map-derivation` procedure[1]. I've submitted a fix to the issue I previously opened. As I describe in the answer, the procedure seems too slow for any meaningful usage; specially what I was describing in this thread[2]. What do