Darcs

Darcs es un sistema de control de versiones distribuido creado por David Roundy . Sus características principales incluyen la capacidad de elegir qué cambios aceptar de otros repositorios, la interacción con otros repositorios locales (en disco) o remotos a través de SSH , HTTP o correo electrónico, y una interfaz inusualmente interactiva. Los desarrolladores también destacan el uso de herramientas de software avanzadas para verificar la corrección: el expresivo sistema de tipos del lenguaje de programación funcional Haskell garantiza algunas propiedades, y las pruebas aleatorias mediante QuickCheck verifican muchas otras. ^{[ 3 ]} El nombre es un acrónimo recursivo de Darcs Advanced Revision Control System (Sistema de Control de Revisiones Avanzado Darcs) . ^{[ 4 ]}

Darcs trata los parches como elementos de primera clase . Para el usuario, un repositorio puede considerarse un conjunto de parches, donde cada parche no está necesariamente ordenado con respecto a los demás; es decir, el conjunto de parches es solo un conjunto parcialmente ordenado . En muchos casos, los parches pueden transmitirse de forma independiente entre varios repositorios.

Muchas operaciones de ramificación, fusión y selección de cambios que requerirían comandos adicionales en sistemas basados ​​en instantáneas como Git o Mercurial, se pueden realizar directamente con Darcs mediante los comandos habituales "pull" y "push". En términos de interfaz de usuario, esto significa que Darcs tiene menos comandos. Estos comandos son más interactivos: se puede elegir con mayor precisión qué parches se desean intercambiar con repositorios remotos.

Los parches de un repositorio están ordenados linealmente. Darcs calcula automáticamente si los parches se pueden reordenar (una operación llamada conmutación) y cómo hacerlo. Estos cálculos implementan la denominada "teoría de parches".

Un parche de Darcs puede contener cambios de los siguientes tipos:

• cambios de línea,
• creación y eliminación de archivos y directorios,
• mover archivos y directorios,
• Sustitución de palabras (utilizada normalmente en la refactorización de código, por ejemplo, cambiar el nombre de todas las apariciones de "foo" a "bar" en un archivo determinado).

La noción de dependencia entre parches se define sintácticamente. Intuitivamente, un parche B depende de otro parche A si A proporciona el contenido que B modifica. Esto significa que los parches que modifican diferentes partes del código se consideran, por defecto, independientes. Para abordar los casos en los que esto no es deseable, Darcs permite al usuario especificar dependencias explícitas entre parches.

Desde la versión 2.10, Darcs utiliza patience diff por defecto.

Darcs surgió de los esfuerzos de David Roundy por diseñar un nuevo formato de parches para GNU Arch en junio de 2002. Estas discusiones no llevaron a que se incorporara ningún código a Arch, pero sí dieron lugar a la concepción de la teoría de los parches. Después de escribir una versión inicial de Darcs en C++ , la versión en Haskell se escribió en otoño de 2002 y se publicó en abril de 2003. Darcs 2.0 se publicó en abril de 2008 e introdujo un formato de repositorio más robusto, así como una nueva semántica de parches llamada "darcs-2", destinada a minimizar los conflictos de fusión exponenciales . ^{[ 5 ]} La estrategia de desarrollo actual se centra en implementar optimizaciones y añadir nuevas características, manteniendo el mismo formato de repositorio.

Darcs ha sido criticado por sus problemas de rendimiento. ^{[ 6 ] [ 7 ]} Esto incluye desafíos relacionados con los algoritmos de fusión de Darcs 1.x, que mostraban un trabajo exponencial para fusionar ciertos conflictos. Aunque no se resolvió por completo en las versiones posteriores de Darcs, ^{[ 8 ]} la frecuencia de fusiones exponenciales sí mostró reducciones notables.

Todavía existen errores en los que falla la fusión de conflictos recursivos. ^{[ 9 ]}

• Comparación de software de control de versiones

• Sitio web oficial