Darcs (original) (raw)
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. The name is a recursive acronym for Darcs Advanced Revision Control System.
| Property | Value |
|---|---|
| dbo:abstract | Darcs (rekursives Akronym für Darcs advanced revision control system) ist ein System zur verteilten Versionsverwaltung von Softwareprojekten und wurde von David Roundy geschrieben. Im Gegensatz zu CVS oder SVN kennt Darcs kein zentrales Quelltextarchiv. Jede Kopie des Ordners mit dem Darcs Projekt stellt ein eigenständiges „Repository“ dar. Kern von Darcs sind die „Patches“ (engl. für Flicken, Ausbesserung; vgl. Patchwork), mit denen die Unterschiede zwischen den einzelnen Versionen repräsentiert und die verschiedenen Repositories auf entsprechenden Stand gebracht werden. Unter bestimmten Umständen kann die Reihenfolge der „Patches“ geändert werden bzw. Änderungen durch einzelne Patches zurückgenommen werden. Darcs wurde in Haskell geschrieben und greift für die Datenübermittlung auf Technologien wie SSH, HTTP und E-Mail zurück. Im Unterschied zu allen anderen Versionsverwaltungen arbeitet Darcs nicht mit einem Baum von Revisionen, sondern Patches und Abhängigkeiten zwischen diesen. Aus der gleichen Menge Patches lassen sich so viel mehr denkbare Revisionen generieren, etwa indem Patches weggelassen werden. Dies geht bei Darcs im Prinzip überall, bei anderen Versionsverwaltungen kann häufig nur der letzte Patch wieder entfernt werden. (de) Το darcs είναι ένα σύστημα που δημιουργήθηκε από τον David Roundy και σχεδιάστηκε για να αντικαταστήσει τα κεντρικά συστήματα ελέγχου πηγαίου κώδικα όπως το και το . Δύο ιδιαίτερα χαρακτηριστικά της σχεδίασής του το διαχωρίζουν από το CVS. Κάθε αντίγραφο του δέντρου πηγαίου κώδικα λειτουργεί σαν πλήρες αποθετήριο (repository), επιτρέποντας τη συντήρηση διαφορετικών εκδόσεων σε διαφορετικές τοποθεσίες. Τα patches είναι καθολικά στο repository και μπορούν υπό προϋποθέσεις να αναδιαταχτούν, σύμφωνα με τη "θεωρία των patches" του εγχειρήματος. Το όνομα είναι αναδρομικό αρκτικόλεξο της αγγλικής φράσης Darcs Advanced Revision Control System, αλλά συνήθως γράφεται με πεζά γράμματα (darcs), αν δεν βρίσκεται στην αρχή πρότασης. Στη βασική του χρήση, ένας χρήστης μπορεί να πάρει (get) ένα αντίγραφο ενός repository, να κάνει κάποιες αλλαγές, να καταγράψει (record) τις αλλαγές αυτές, να τραβήξει (pull) αλλαγές από άλλα repositories, και στο τέλος να σπρώξει (push) ή να στείλει (send) αλλαγές σε άλλα repositories. Για να αρχίσει ένα νέο repository, ο χρήστης μπορεί να αρχικοποιήσει (init) έναν οποιοδήποτε φάκελο. Τα άλλα repositories μπορούν να είναι τοπικοί φάκελοι, ή να είναι προσβάσιμα μέσω των πρωτοκόλλων SSH ή HTTP. Οι αλλαγές μπορούν να υποβληθούν μέσω ηλεκτρονικού ταχυδρομείου σε περιπτώσεις που ο χρήστης δεν έχει δικαίωμα εγγραφής σε ένα άλλο repository. Το darcs είναι γραμμένο στη γλώσσα συναρτησιακού προγραμματισμού Haskell - ανάμεσα σε άλλα εργαλεία χρησιμοποιεί το . Οι πιο πολλές εντολές του darcs είναι διαδραστικές, π.χ. επιτρέπουν στο χρήστη να υποβάλλει αλλαγές ή να τραβήξει συγκεκριμένα αρχεία επιλεκτικά. Αυτό το χαρακτηριστικό έχει σχεδιαστεί ώστε να ενθαρρύνει περισσότερη λεπτομέρεια στη δημιουργία patches. Λόγω αυτής της διαδραστικότητας, το darcs έχει λιγότερες ξεχωριστές εντολές σε σχέση με άλλα αντίστοιχα συστήματα ελέγχου εκδόσεων. (el) 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. The name is a recursive acronym for Darcs Advanced Revision Control System. (en) Darcs est un système de gestion de versions libre, qui sert à garder trace des versions successives d'un ensemble de fichiers (par exemple des sources d'un programme). Darcs appartient à la catégorie des systèmes de gestion de versions décentralisés. Chaque copie de travail est un dépôt complet, avec tout l'historique, dans lequel on peut enregistrer et grâce auquel on peut distribuer ses modifications. Darcs gère des correctifs (patches), chaque correctif étant un ensemble d'opérations sur un ou plusieurs fichiers. Le correctif possède un nom et une description donnés par son auteur. Contrairement à d'autres systèmes tels que Subversion, Git ou Mercurial, Darcs n'impose pas un ordre chronologique dans les correctifs, mais une relation de dépendance. Par conséquent, des correctifs indépendants peuvent être échangés librement : Darcs est le seul logiciel en son genre, avec Pijul, à permettre certaines opérations, comme l'échange de correctifs entre différents dépôts sans avoir à créer de correctif supplémentaire officialisant l'échange, ou la possibilité de n'échanger qu'un sous-ensemble de correctifs entre deux dépôts. On peut également défaire un correctif localement, même si des correctifs indépendants plus récents ont été enregistrés entre-temps. Cette flexibilité est permise car Darcs repose sur une théorie des patches qui décrit les opérations possibles entre correctifs, notamment la commutation. Darcs est écrit en langage Haskell. Son auteur original, David Roundy, a commencé son développement en 2002. (fr) Darcs es un sistema de control de versiones distribuido creado por David Roundy. Las características clave son: la habilidad de escoger que cambios aceptar de otros repositorios, interacción con otros repositorios locales (en disco) o repositorios remotos vía SSH, HTTP o correo electrónico, y una inusual interfaz interactiva. Los desarrolladores también hacen hincapié en el uso de herramientas de software avanzadas para la verificación de la corrección: el sistema de tipo expresivo del lenguaje de programación funcional Haskell hace cumplir algunas propiedades, y las pruebas al azar a través de QuickCheck verifica muchos otros. El nombre es un acrónimo recursivo para el sistema de control de versiones avanzada Darcs Advanced Revision Control System. (es) Darcs – rozproszony system kontroli wersji zaprojektowany przez Davida Roundy jako alternatywa dla scentralizowanego systemu CVS. Nazwa to skrót angielskiego określenia David's Advanced Revision Control System. W przeciwieństwie do CVS darcs tworzy lokalną kopię całego repozytorium. Umożliwia także zmianę nazw katalogów i plików objętych kontrolą wersji. Dostęp do repozytorium jest możliwy poprzez protokoły HTTP i SSH. (pl) Darcs — распределённая система управления версиями с широкими возможностями, может быть использована для замены CVS. Darcs написана на языке Haskell, и может использоваться в GNU/Linux, Mac OS X, FreeBSD, NetBSD, OpenBSD и Microsoft Windows. Darcs включает CGI-скрипт для просмотра репозиториев через web. В противоположность CVS и Subversion, но подобно и , Darcs является «распределённой» системой управления версиями. Репозитории — это не синхронизированные друг с другом «острова», а система патчей. Darcs управляет потоками изменений между ними. В этом смысле Darcs принадлежит тому же поколению систем управления версий, что и Mercurial, Bazaar, Git. Поскольку в Darcs записываются и хранятся патчи, и есть алгебра их вычислений, то легко реализуются такие интересные возможности как спонтанные автоматические ветви, перестановка патчей и ряд других. (ru) darcs (David's Advanced Revision Control System) är ett distribuerat versionshanteringssystem utvecklat av som togs fram för att erbjuda ett alternativ till de centraliserade versionshanteringssystemen som fanns, exempelvis CVS och Subversion. Den främsta skillnaden mellan darcs och CVS är att varje kopia av källträdet ses som ett helt , vilket möjliggör hantering av flera olika versioner samtidigt på olika platser. darcs bygger på att alla ändringar som görs under utvecklingens gång ses som patchar. darcs är skrivet i det funktionella programspråket Haskell och använder en mängd olika verktyg som exempelvis QuickCheck. (sv) Darcs — розподілена система керування версіями, розроблена Девідом Раунді (англ. David Roundy). Дві особливості Darcs відрізняють її від CVS: 1. * кожна копія дерева файлів є повноцінним репозиторієм, що дозволяє підтримувати декілька різних версій файлів в різних каталогах, 2. * латки (англ. patch) глобальні в межах репозиторію, а порядок застосування латок може бути змінено відповідно до правил теорії латок (англ. theory of patches). Назва системи є акронімом від англ. David's Advanced Revision Control System (покращена система керування версіями від Девіда), але зазвичай пишеться малими літерами (darcs) за винятком початку речення. (uk) |
| dbo:author | dbr:David_Roundy |
| dbo:genre | dbr:Version_control |
| dbo:license | dbr:GNU_General_Public_License |
| dbo:releaseDate | 2003-03-03 (xsd:date) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Darcs-logo.png?width=300 |
| dbo:wikiPageID | 2270751 (xsd:integer) |
| dbo:wikiPageLength | 7904 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1122202987 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:QuickCheck dbr:Merge_(version_control) dbr:David_Roundy dbc:Free_version_control_software dbc:Distributed_version_control_systems dbr:Hypertext_Transfer_Protocol dbr:Unix dbr:GNU_General_Public_License dbr:GNU_arch dbr:Git_(software) dbr:Linux dbr:MacOS dbr:Functional_programming dbr:BSD dbc:Cross-platform_free_software dbr:C++ dbc:Free_software_programmed_in_Haskell dbr:Type_system dbr:Distributed_version_control dbr:Edit_conflict dbr:Partially_ordered_set dbr:Haskell_(programming_language) dbr:Recursive_acronym dbr:Apple,_Inc. dbr:Mercurial dbr:Microsoft dbr:Microsoft_Windows dbr:Secure_Shell dbr:Version_control dbr:Comparison_of_version_control_software dbr:First-class_citizen dbr:Pijul dbr:Patience_diff |
| dbp:author | dbr:David_Roundy |
| dbp:developer | Guillaume Hoffmann, et al. (en) |
| dbp:genre | dbr:Version_control |
| dbp:license | dbr:GNU_General_Public_License |
| dbp:logo | Darcs-logo.png (en) |
| dbp:logoAlt | darcs logo (en) |
| dbp:name | Darcs (en) |
| dbp:operatingSystem | dbr:Unix dbr:Linux dbr:MacOS dbr:BSD dbr:Apple,_Inc. dbr:Microsoft dbr:Microsoft_Windows |
| dbp:programmingLanguage | P277|from=Q204377 (en) |
| dbp:released | 2003-03-03 (xsd:date) |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Infobox_software dbt:Official_website dbt:Portal dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sfn dbt:Start_date_and_age dbt:Wikibooks dbt:Wikidata dbt:Version_control_software |
| dbp:wordnet_type | http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1 |
| dcterms:subject | dbc:Free_version_control_software dbc:Distributed_version_control_systems dbc:Cross-platform_free_software dbc:Free_software_programmed_in_Haskell |
| gold:hypernym | dbr:System |
| rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 yago:Artifact100021939 yago:ControlSystem103098806 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:System104377057 yago:Whole100003553 yago:WikicatDistributedRevisionControlSystems yago:WikicatRevisionControlSystems umbel-rc:SoftwareObject |
| rdfs:comment | 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. The name is a recursive acronym for Darcs Advanced Revision Control System. (en) Darcs es un sistema de control de versiones distribuido creado por David Roundy. Las características clave son: la habilidad de escoger que cambios aceptar de otros repositorios, interacción con otros repositorios locales (en disco) o repositorios remotos vía SSH, HTTP o correo electrónico, y una inusual interfaz interactiva. Los desarrolladores también hacen hincapié en el uso de herramientas de software avanzadas para la verificación de la corrección: el sistema de tipo expresivo del lenguaje de programación funcional Haskell hace cumplir algunas propiedades, y las pruebas al azar a través de QuickCheck verifica muchos otros. El nombre es un acrónimo recursivo para el sistema de control de versiones avanzada Darcs Advanced Revision Control System. (es) Darcs – rozproszony system kontroli wersji zaprojektowany przez Davida Roundy jako alternatywa dla scentralizowanego systemu CVS. Nazwa to skrót angielskiego określenia David's Advanced Revision Control System. W przeciwieństwie do CVS darcs tworzy lokalną kopię całego repozytorium. Umożliwia także zmianę nazw katalogów i plików objętych kontrolą wersji. Dostęp do repozytorium jest możliwy poprzez protokoły HTTP i SSH. (pl) Το darcs είναι ένα σύστημα που δημιουργήθηκε από τον David Roundy και σχεδιάστηκε για να αντικαταστήσει τα κεντρικά συστήματα ελέγχου πηγαίου κώδικα όπως το και το . Δύο ιδιαίτερα χαρακτηριστικά της σχεδίασής του το διαχωρίζουν από το CVS. Κάθε αντίγραφο του δέντρου πηγαίου κώδικα λειτουργεί σαν πλήρες αποθετήριο (repository), επιτρέποντας τη συντήρηση διαφορετικών εκδόσεων σε διαφορετικές τοποθεσίες. Τα patches είναι καθολικά στο repository και μπορούν υπό προϋποθέσεις να αναδιαταχτούν, σύμφωνα με τη "θεωρία των patches" του εγχειρήματος. (el) Darcs (rekursives Akronym für Darcs advanced revision control system) ist ein System zur verteilten Versionsverwaltung von Softwareprojekten und wurde von David Roundy geschrieben. Im Gegensatz zu CVS oder SVN kennt Darcs kein zentrales Quelltextarchiv. Jede Kopie des Ordners mit dem Darcs Projekt stellt ein eigenständiges „Repository“ dar. Kern von Darcs sind die „Patches“ (engl. für Flicken, Ausbesserung; vgl. Patchwork), mit denen die Unterschiede zwischen den einzelnen Versionen repräsentiert und die verschiedenen Repositories auf entsprechenden Stand gebracht werden. Unter bestimmten Umständen kann die Reihenfolge der „Patches“ geändert werden bzw. Änderungen durch einzelne Patches zurückgenommen werden. (de) Darcs est un système de gestion de versions libre, qui sert à garder trace des versions successives d'un ensemble de fichiers (par exemple des sources d'un programme). Darcs appartient à la catégorie des systèmes de gestion de versions décentralisés. Chaque copie de travail est un dépôt complet, avec tout l'historique, dans lequel on peut enregistrer et grâce auquel on peut distribuer ses modifications. Cette flexibilité est permise car Darcs repose sur une théorie des patches qui décrit les opérations possibles entre correctifs, notamment la commutation. (fr) darcs (David's Advanced Revision Control System) är ett distribuerat versionshanteringssystem utvecklat av som togs fram för att erbjuda ett alternativ till de centraliserade versionshanteringssystemen som fanns, exempelvis CVS och Subversion. Den främsta skillnaden mellan darcs och CVS är att varje kopia av källträdet ses som ett helt , vilket möjliggör hantering av flera olika versioner samtidigt på olika platser. darcs bygger på att alla ändringar som görs under utvecklingens gång ses som patchar. (sv) Darcs — распределённая система управления версиями с широкими возможностями, может быть использована для замены CVS. Darcs написана на языке Haskell, и может использоваться в GNU/Linux, Mac OS X, FreeBSD, NetBSD, OpenBSD и Microsoft Windows. Darcs включает CGI-скрипт для просмотра репозиториев через web. Поскольку в Darcs записываются и хранятся патчи, и есть алгебра их вычислений, то легко реализуются такие интересные возможности как спонтанные автоматические ветви, перестановка патчей и ряд других. (ru) Darcs — розподілена система керування версіями, розроблена Девідом Раунді (англ. David Roundy). Дві особливості Darcs відрізняють її від CVS: 1. * кожна копія дерева файлів є повноцінним репозиторієм, що дозволяє підтримувати декілька різних версій файлів в різних каталогах, 2. * латки (англ. patch) глобальні в межах репозиторію, а порядок застосування латок може бути змінено відповідно до правил теорії латок (англ. theory of patches). (uk) |
| rdfs:label | Darcs (en) Darcs (de) Darcs (el) Darcs (es) Darcs (fr) Darcs (pl) Darcs (ru) Darcs (sv) Darcs (uk) |
| owl:sameAs | freebase:Darcs yago-res:Darcs wikidata:Darcs dbpedia-de:Darcs dbpedia-el:Darcs dbpedia-es:Darcs dbpedia-fi:Darcs dbpedia-fr:Darcs dbpedia-pl:Darcs dbpedia-ru:Darcs dbpedia-sv:Darcs dbpedia-uk:Darcs https://global.dbpedia.org/id/xGPC |
| prov:wasDerivedFrom | wikipedia-en:Darcs?oldid=1122202987&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Darcs-logo.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Darcs |
| foaf:name | Darcs (en) |
| is dbo:knownFor of | dbr:David_Roundy |
| is dbo:wikiPageDisambiguates of | dbr:DARC |
| is dbo:wikiPageRedirects of | dbr:DARCS dbr:David's_Advanced_Revision_Control_System dbr:Patch_theory dbr:Theory_of_patches |
| is dbo:wikiPageWikiLink of | dbr:Merge_(version_control) dbr:David_Roundy dbr:Revision_Control_System dbr:Comparison_of_issue-tracking_systems dbr:Generalized_algebraic_data_type dbr:GNU_Bazaar dbr:Git dbr:Gitit_(software) dbr:Branching_(version_control) dbr:Yhc dbr:Comparison_of_continuous_integration_software dbr:Comparison_of_version-control_software dbr:Comparison_of_wiki_software dbr:Buildbot dbr:TortoiseCVS dbr:Trac dbr:Distributed_version_control dbr:DARC dbr:DARCS dbr:Haddock_(software) dbr:Haskell dbr:TextMate dbr:Rebasing dbr:Recursive_acronym dbr:DokuWiki dbr:Redmine dbr:Changeset dbr:List_of_version-control_software dbr:List_of_wiki_software dbr:David's_Advanced_Revision_Control_System dbr:Patch_theory dbr:Theory_of_patches |
| is foaf:primaryTopic of | wikipedia-en:Darcs |
