News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.