Re:Darcs - Another open source version control system
by tonfa on Wednesday May 09, 2012 @03:04AM
(#3947395)
I always thought the correctness aspect of Darcs was very weak, from what I remember most of the original "patch theory" wasn't sound
Re:Darcs - Another open source version control system
by sanxiyn on Wednesday May 09, 2012 @03:27AM
(#3947457)
Yes, the original theory was weak and not sound, but they worked on it. There is some initial work towards Coq formalization.
Re:Darcs - Another open source version control system
by papsosouid on Wednesday May 09, 2012 @10:00AM
(#3948575)
The problem with that analogy is that you are comparing darcs to a myth. Postgresql was not "very slow at first". It has certainly gotten faster, but it was faster than mysql for real workloads ~15 years ago. It isn't closing a gap, it is pulling further and further ahead. Mysql is only fast if you are using myisam tables and doing a single threaded microbenchmark of repeating a single simple query in a loop. On real benchmarks where there's many connections executing many different queries at the same time, postgresql has always been way ahead of mysql.
Unlike in the relational database world, there is no accepted standard for interfacing with a versioned repository. It remains to be seen whether Darcs, like PostgreSQL, will eventually gather enough steam to build a substantial user base.