Darcs Versionskontrollsystem - Algebra der Veränderung
Heute hatte ich einmal Zeit, mir das einzige - mir bekannte - Haskell Programm aus der ,,richtigen Welt” anzugucken: darcs
darcs ist ein Versionskontrollsystem, das jedoch nicht wie CVS oder Subversion mit einem zentralen ,,Repository” arbeitet, sondern Veränderungen dezentral verwaltet. Es ist damit schon Arch oder BitKeeper ähnlicher.
Das System scheint mir recht interessant und wie nach der Wahl der Programmiersprache nicht ganz so verwunderlich ist der Autor Physiker und hat sich vor dem Schreiben von darcs Gedanken um das ganze gemacht:
In der Anleitung (PostScript hier) ist im Anhang etwas über ein ,,Theory Of Patches” zu lesen. Ich habe das ganze bis jetzt nur überflogen, und die Sätze jetzt nicht wirklich so kritisch gelesen, dass ich mehr als offensichtliche Fehler gefunden hätte. Der Autor erstellt dort quasi eine ,,Algebra der Veränderung” auf. Diese scheint mir implizit von anderen Systemen schon zu verwendet werden - genauso, wie man halt intuitiv rechnte ohne sich Gedanken über Kommutivität oder die Existenz von Inversen zu machen.
Das ganze ist auf jeden Fall ein interessantes Projekt und mich würde mal ein Vergleich mit dem so hoch gelobten BitKeeper interessieren. Darcs hat zwar wohl nicht die GUI Werkzeuge von BitKeeper, aber ich finde nirgendwo einen gescheiten Vergleich (außer Religionskriegen).