Darcs: distributed version management in haskell

@inproceedings{Roundy2005DarcsDV,
  title={Darcs: distributed version management in haskell},
  author={David Roundy},
  booktitle={Haskell '05},
  year={2005}
}
  • D. Roundy
  • Published in Haskell '05 30 September 2005
  • Computer Science
A common reaction from people who hear about darcs, the source control system I created, is that it sounds like a great tool, but it is a shame that it is written in Haskell. People think that because darcs is written in Haskell it will be a slow memory hog with very few contributors to the project. I will give a somewhat historical overview of my experiences with the Haskell language, libraries and tools.I will begin with a brief overview of the darcs advanced revision control system, how it… 
Homotopical patch theory*
TLDR
This paper shows how patch theory can be developed in homotopy type theory and separates formal theories of patches from their interpretation as edits to repositories, and presents a patch theory as a higher inductive type.
The Data Market: Policies for Decentralised Visual Localisation
TLDR
This paper presents a mercantile framework for the decentralised sharing of navigation expertise amongst a fleet of robots which perform regular missions into a common but variable environment and suggests some obligatory properties that a formalisation of the distributed versioning of experience maps should exhibit.
Homotopical patch theory
TLDR
This paper shows how patch theory can be developed in homotopy type theory, and separates formal theories of patches from their interpretation as edits to repositories, and considers a programming application of higher inductive types.
Concise, type-safe, and efficient structural diffing
TLDR
A new structural diffing algorithm called truediff is presented that achieves both properties by treating subtrees as mutable, yet linearly typed resources, and guarantees all intermediate trees are well-typed.
Software Deception Steering through Version Emulation
TLDR
This paper proposes a moving-target approach to thwart and countersurveil determined cyber adversaries, wherein live (non-decoy) enterprise software services are automatically modified to deceptively emulate vulnerable legacy versions that entice attackers.
An efficient algorithm for type-safe structural diffing
TLDR
It is demonstrated that by instantiating this algorithm to the Lua abstract syntax tree and mining the commit history of repositories found on GitHub, the resulting patches can often be merged automatically, even when existing technology has failed.
An Efficient Algorithm for Type-Directed Structural Diffing
TLDR
It is demonstrated that by instantiating this algorithm to the Lua abstract syntax tree and mining the commit history of repositories found on GitHub, the resulting patches can often be merged automatically, even when existing technology has failed.
Traffical User Control System
  • Computer Science
  • 2018
TLDR
The purpose of this thesis was to propose specific GUI ideas to make distributed systems more accessible by acting as a repository for the project data along with a complete development history, enabling any state of the version control system.
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
TLDR
This paper discusses specifying a cryptographic protocol using homotopy type theory which adds the notion of higher inductive type and univalence to Martin-Löf’s intensional type theory.
Code Generation for Higher Inductive Types
TLDR
This work presents a library that uses Agda’s metaprogramming facilities to automate this process, allowing higher inductive types to be specified with minimal additional syntax.
...
...