Re:Darcs as a higher inductive type
by adekok on Monday January 20, 2014 @11:21AM
(#7090246)
I suspect they're mixing theory with practice. The darcs theory is very good. But that doesn't mean you have to limit yourself to it. They could add memoization or git-style content-addressing as a backup to the patch theory.
I suspect that the majority of development and patch-rewriting happens in the most recent set of patches. There's probably a more than exponential drop-off in editing earlier patches.
Caching full repo / file information about earlier patches could speed darcs up to git-like levels.
I suspect that the majority of development and patch-rewriting happens in the most recent set of patches. There's probably a more than exponential drop-off in editing earlier patches.
Caching full repo / file information about earlier patches could speed darcs up to git-like levels.