Jump to content

Darcs: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Alphabetized the categories.
Rescuing 2 sources and tagging 1 as dead. #IABot (v1.2.7.1)
Line 3: Line 3:
|logo = [[File:Darcs-logo.png|frameless|upright|darcs logo]]
|logo = [[File:Darcs-logo.png|frameless|upright|darcs logo]]
|developer = Guillaume Hoffmann (and others)
|developer = Guillaume Hoffmann (and others)
|released = {{start date and age|2003|3|3}}<ref name= announced>{{Citation |url = http://darcs.net/NEWS |title = Darcs |contribution = Changelog }}</ref>
|released = {{start date and age|2003|3|3}}<ref name=announced>{{Citation|url=http://darcs.net/NEWS |title=Darcs |contribution=Changelog |deadurl=yes |archiveurl=https://web.archive.org/web/20090926152109/http://darcs.net:80/NEWS |archivedate=2009-09-26 |df= }}</ref>
|latest_release_version = 2.12.0
|latest_release_version = 2.12.0
|latest_release_date = {{Start date and age|2016|04|29}}<ref name=announced/>
|latest_release_date = {{Start date and age|2016|04|29}}<ref name=announced/>
Line 15: Line 15:
}}
}}


'''Darcs''' is a [[distributed version control]] system created by [[David Roundy]]. Key features include the ability to choose which changes to accept from other repositories, interaction with either other local (on-disk) repositories or remote repositories via [[Secure Shell|SSH]], [[Hypertext Transfer Protocol|HTTP]], or email, and an unusually interactive interface. The developers also emphasize the use of advanced software tools for verifying correctness: the expressive [[type system]] of the [[Functional programming|functional programming language]] [[Haskell (programming language)|Haskell]] enforces some properties, and randomized testing via [[QuickCheck]] verifies many others.{{Sfn | Roundy | 2005 | p = 2 | ps =: ‘One of the problems I had with the initial C++ darcs was that I had no unit testing code. Within two weeks of the first darcs record, I started using QuickCheck to test the patch functions, and the same day I fixed a bug that was discovered by QuickCheck. QuickCheck makes it very easy to define properties that functions must have, which are then tested with randomly generated data.’}} The name is a [[recursive acronym]] for '''Darcs Advanced Revision Control System'''.<ref>{{Citation |last = Roundy |date = 2008-10-21 |title = Darcs |url = http://joyful.com/darcsweb/darcsweb.cgi?r=darcs-unstable;a=commit;h=20081021113728-72aca-23f2370120a0575cf79bc369d1bffe3f311e19a4.gz |type = Commit |first = David |publisher = Joyful |contribution = changes the acronym's meaning }}.</ref>
'''Darcs''' is a [[distributed version control]] system created by [[David Roundy]]. Key features include the ability to choose which changes to accept from other repositories, interaction with either other local (on-disk) repositories or remote repositories via [[Secure Shell|SSH]], [[Hypertext Transfer Protocol|HTTP]], or email, and an unusually interactive interface. The developers also emphasize the use of advanced software tools for verifying correctness: the expressive [[type system]] of the [[Functional programming|functional programming language]] [[Haskell (programming language)|Haskell]] enforces some properties, and randomized testing via [[QuickCheck]] verifies many others.{{Sfn | Roundy | 2005 | p = 2 | ps =: ‘One of the problems I had with the initial C++ darcs was that I had no unit testing code. Within two weeks of the first darcs record, I started using QuickCheck to test the patch functions, and the same day I fixed a bug that was discovered by QuickCheck. QuickCheck makes it very easy to define properties that functions must have, which are then tested with randomly generated data.’}} The name is a [[recursive acronym]] for '''Darcs Advanced Revision Control System'''.<ref>{{Citation|last=Roundy |date=2008-10-21 |title=Darcs |url=http://joyful.com/darcsweb/darcsweb.cgi?r=darcs-unstable;a=commit;h=20081021113728-72aca-23f2370120a0575cf79bc369d1bffe3f311e19a4.gz |type=Commit |first=David |publisher=Joyful |contribution=changes the acronym's meaning }}{{dead link|date=December 2016 |bot=InternetArchiveBot |fix-attempted=yes }}.</ref>


==Model==
==Model==
Line 38: Line 38:


==Shortcomings==
==Shortcomings==
Darcs has been criticized on the grounds of performance.<ref>{{Citation |first = Simon |last = Marlow |url = http://lists.osuosl.org/pipermail/darcs-users/2007-March/010877.html |contribution = Current status of Darcs |title = Darcs users |type = mailing list |date = March 7, 2007 |publisher = OSUOSL }}.</ref><ref>{{Citation |first = Robert |last = Fendt |url = http://ldn.linuxfoundation.org/article/dvcs-round-one-system-rule-them-all-part-1 |contribution = DVCS Round-Up: One System to Rule Them All? |volume = 1 |publisher = Linux Foundation |title = Developer Network |date = January 9, 2009 }}.</ref> One of the most notable issues was related to the merge algorithm in Darcs 1.x, which could do exponential work to merge some conflicts. Although the issue was not completely corrected in Darcs 2,<ref>{{Citation |url = http://wiki.darcs.net/DarcsWiki/ConflictsFAQ#head-24300e56823ad5cafe6397fc35e2f175bbe61966 |contribution = ConflictsFAQ |publisher = Darcs |title = Wiki }}.</ref> the frequency of exponential merges has been reduced. Bugs still remain in which merging of recursive conflicts fails.<ref>{{Citation |url = http://bugs.darcs.net/issue1520 |contribution = Issue 1520 Irrefutable pattern failed for pattern Data.Maybe.Just a2 |publisher = Darcs |title = Bug Tracker }}.</ref>
Darcs has been criticized on the grounds of performance.<ref>{{Citation |first = Simon |last = Marlow |url = http://lists.osuosl.org/pipermail/darcs-users/2007-March/010877.html |contribution = Current status of Darcs |title = Darcs users |type = mailing list |date = March 7, 2007 |publisher = OSUOSL }}.</ref><ref>{{Citation|first=Robert |last=Fendt |url=http://ldn.linuxfoundation.org/article/dvcs-round-one-system-rule-them-all-part-1 |contribution=DVCS Round-Up: One System to Rule Them All? |volume=1 |publisher=Linux Foundation |title=Developer Network |date=January 9, 2009 |deadurl=yes |archiveurl=https://web.archive.org/web/20090228201054/http://ldn.linuxfoundation.org:80/article/dvcs-round-one-system-rule-them-all-part-1 |archivedate=2009-02-28 |df= }}.</ref> One of the most notable issues was related to the merge algorithm in Darcs 1.x, which could do exponential work to merge some conflicts. Although the issue was not completely corrected in Darcs 2,<ref>{{Citation |url = http://wiki.darcs.net/DarcsWiki/ConflictsFAQ#head-24300e56823ad5cafe6397fc35e2f175bbe61966 |contribution = ConflictsFAQ |publisher = Darcs |title = Wiki }}.</ref> the frequency of exponential merges has been reduced. Bugs still remain in which merging of recursive conflicts fails.<ref>{{Citation |url = http://bugs.darcs.net/issue1520 |contribution = Issue 1520 Irrefutable pattern failed for pattern Data.Maybe.Just a2 |publisher = Darcs |title = Bug Tracker }}.</ref>


==See also==
==See also==

Revision as of 19:46, 6 December 2016

Darcs
Developer(s)Guillaume Hoffmann (and others)
Initial releaseMarch 3, 2003; 21 years ago (2003-03-03)[1]
Stable release
2.12.0 / April 29, 2016; 8 years ago (2016-04-29)[1]
Repository
Written inHaskell
Operating systemUnix, Linux, BSD, Apple OS X, MS Windows
TypeVersion control
LicenseGNU GPL
Websitedarcs.net

Darcs is a distributed version control system created by David Roundy. Key features include the ability to choose which changes to accept from other repositories, interaction with either other local (on-disk) repositories or remote repositories via SSH, HTTP, or email, and an unusually interactive interface. The developers also emphasize the use of advanced software tools for verifying correctness: the expressive type system of the functional programming language Haskell enforces some properties, and randomized testing via QuickCheck verifies many others.[2] The name is a recursive acronym for Darcs Advanced Revision Control System.[3]

Model

Darcs treats patches as first-class citizens. For the user, a repository can be seen as a set of patches, where each patch is not necessarily ordered with respect to other patches, i.e. the set of patches is only a partially ordered set. In many cases patches can be independently transmitted between various repositories.

Many branching, merging, and cherry-picking operations that would require additional commands with snapshot-based systems like Git or Mercurial can be directly done with Darcs with the usual "pull" and "push" commands. In terms of user interface, this means that Darcs has fewer commands. These commands are more interactive: one can choose more precisely which patches they want to exchange with remote repositories.

The patches of a repository are linearly ordered. Darcs automatically calculates whether patches can be reordered (an operation called commutation), and how to do it. These calculations implement a so-called "patch theory".

A Darcs patch can contain changes of the following kinds:

  • line changes,
  • file and directory creation and deletion,
  • file and directory moving,
  • word substitution (typically used in code refactoring, for instance rename all occurrences of "foo" to "bar" in a given file).

The notion of dependency between patches is defined syntactically. Intuitively, a patch B depends on another patch A if A provides the content that B modifies. This means that patches that modify different parts of the code are considered, by default, independent. To address cases when this is not desirable, Darcs enables the user to specify explicit dependencies between patches.

Since version 2.10, Darcs uses patience diff by default.

History

Darcs evolved out of David Roundy's efforts to design a new patch format for GNU arch in June 2002. These discussions didn't lead to any code being committed to Arch, but did lead to the conception of the theory of patches. After writing an initial version of Darcs in C++, the Haskell version was written in Autumn 2002 and released to the public in April 2003. Darcs 2.0 was released in April 2008 and introduced a more robust repository format, as well as a new patch semantics called "darcs-2", aimed at minimizing exponential merge issues.[4] The current development strategy focuses on implementing optimizations and adding new features, while maintaining the same repository format.

Shortcomings

Darcs has been criticized on the grounds of performance.[5][6] One of the most notable issues was related to the merge algorithm in Darcs 1.x, which could do exponential work to merge some conflicts. Although the issue was not completely corrected in Darcs 2,[7] the frequency of exponential merges has been reduced. Bugs still remain in which merging of recursive conflicts fails.[8]

See also

References

  1. ^ a b "Changelog", Darcs, archived from the original on 2009-09-26 {{citation}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  2. ^ Roundy 2005, p. 2: ‘One of the problems I had with the initial C++ darcs was that I had no unit testing code. Within two weeks of the first darcs record, I started using QuickCheck to test the patch functions, and the same day I fixed a bug that was discovered by QuickCheck. QuickCheck makes it very easy to define properties that functions must have, which are then tested with randomly generated data.’
  3. ^ Roundy, David (2008-10-21), "changes the acronym's meaning", Darcs (Commit), Joyful[permanent dead link].
  4. ^ "Two", Darcs
  5. ^ Marlow, Simon (March 7, 2007), "Current status of Darcs", Darcs users (mailing list), OSUOSL.
  6. ^ Fendt, Robert (January 9, 2009), "DVCS Round-Up: One System to Rule Them All?", Developer Network, vol. 1, Linux Foundation, archived from the original on 2009-02-28 {{citation}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help).
  7. ^ "ConflictsFAQ", Wiki, Darcs.
  8. ^ "Issue 1520 Irrefutable pattern failed for pattern Data.Maybe.Just a2", Bug Tracker, Darcs.
Wikibooks has a book on the topic of: Understanding Darcs
Retrieved from "https://en.wikipedia.org/w/index.php?title=Darcs&oldid=753371715"