Darcs

http://dbpedia.org/resource/Darcs an entity of type: Thing

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. rdf:langString
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.​ rdf:langString
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. rdf:langString
Το darcs είναι ένα σύστημα που δημιουργήθηκε από τον David Roundy και σχεδιάστηκε για να αντικαταστήσει τα κεντρικά συστήματα ελέγχου πηγαίου κώδικα όπως το και το . Δύο ιδιαίτερα χαρακτηριστικά της σχεδίασής του το διαχωρίζουν από το CVS. Κάθε αντίγραφο του δέντρου πηγαίου κώδικα λειτουργεί σαν πλήρες αποθετήριο (repository), επιτρέποντας τη συντήρηση διαφορετικών εκδόσεων σε διαφορετικές τοποθεσίες. Τα patches είναι καθολικά στο repository και μπορούν υπό προϋποθέσεις να αναδιαταχτούν, σύμφωνα με τη "θεωρία των patches" του εγχειρήματος. rdf:langString
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. rdf:langString
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. rdf:langString
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. rdf:langString
Darcs — распределённая система управления версиями с широкими возможностями, может быть использована для замены CVS. Darcs написана на языке Haskell, и может использоваться в GNU/Linux, Mac OS X, FreeBSD, NetBSD, OpenBSD и Microsoft Windows. Darcs включает CGI-скрипт для просмотра репозиториев через web. Поскольку в Darcs записываются и хранятся патчи, и есть алгебра их вычислений, то легко реализуются такие интересные возможности как спонтанные автоматические ветви, перестановка патчей и ряд других. rdf:langString
Darcs — розподілена система керування версіями, розроблена Девідом Раунді (англ. David Roundy). Дві особливості Darcs відрізняють її від CVS: 1. * кожна копія дерева файлів є повноцінним репозиторієм, що дозволяє підтримувати декілька різних версій файлів в різних каталогах, 2. * латки (англ. patch) глобальні в межах репозиторію, а порядок застосування латок може бути змінено відповідно до правил теорії латок (англ. theory of patches). rdf:langString
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
rdf:langString Darcs
xsd:integer 2270751
xsd:integer 1122202987
rdf:langString Guillaume Hoffmann, et al.
rdf:langString Darcs-logo.png
rdf:langString darcs logo
rdf:langString P277|from=Q204377
xsd:date 2003-03-03
rdf:langString 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.
rdf:langString Το 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 έχει λιγότερες ξεχωριστές εντολές σε σχέση με άλλα αντίστοιχα συστήματα ελέγχου εκδόσεων.
rdf:langString 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.
rdf:langString 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.
rdf:langString 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.​
rdf:langString 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.
rdf:langString 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 записываются и хранятся патчи, и есть алгебра их вычислений, то легко реализуются такие интересные возможности как спонтанные автоматические ветви, перестановка патчей и ряд других.
rdf:langString 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.
rdf:langString Darcs — розподілена система керування версіями, розроблена Девідом Раунді (англ. David Roundy). Дві особливості Darcs відрізняють її від CVS: 1. * кожна копія дерева файлів є повноцінним репозиторієм, що дозволяє підтримувати декілька різних версій файлів в різних каталогах, 2. * латки (англ. patch) глобальні в межах репозиторію, а порядок застосування латок може бути змінено відповідно до правил теорії латок (англ. theory of patches). Назва системи є акронімом від англ. David's Advanced Revision Control System (покращена система керування версіями від Девіда), але зазвичай пишеться малими літерами (darcs) за винятком початку речення.
xsd:nonNegativeInteger 7904
xsd:date 2003-03-03

data from the linked data cloud