[darcs-devel] Re: the straw that broke the camel's back

[Juliusz Chroboczek]

Hi Ian!

>>   - Darcs is not complete (some patches fail to commute);
>>   - Darcs is not correct (will sometimes write an incorrect repo);
>>   - Darcs is subject to combinatorial explosion;
>>   - Darcs is coded inefficiently in some areas.

> (Your numbers don't match the length of your list)

Maths is difficult ;-)

(Three serious and one trivial, as you rightly note.)

> I think improving darcs incrementally is just as easy,

I'm not so sure, at least for psychological reasons.

> The first issues you list are all part of the same thing: We need to
> replace mergers with something else, and as far as I know we're still
> looking for an algorithm,

Yep.

> Who'll be able to be in the Freiburg area between
> http://www.cse.unsw.edu.au/~keller/haskellws/HaskellWorkshop.html
> and http://www.haskell.org/haskellwiki/Hac_2007_II ?

Pity, no.

                                        Juliusz