SCM Boot Camp in Nagoyaに行って、Darcsの紹介してきました

@kyon_mmさんに誘わてSCM Boot Camp in Ngaoyaに行ってきました。当日はGitのサポータしたり、ワッフル食べたりしてました。ワッフル、実においしかったです。
参加する2週間前ぐらいになんとなくDarcs/CAMPのことを調べてたらガチですごかったので、懇親会の闇LTでDarcsの紹介をしてきました。いや、マジですごいんですって。

LT資料『Darcsの紹介』

Darcs紹介@20120423-scmbc

View more presentations from Hiroki Mizuno

何がすごいか

いきなりボクの勝手な妄想でアレですが、gitとかmercurialとかの他の分散管理システムは単に実装があるだけか、あるいは、せいぜいレポジトリフォーマットの仕様がある程度だと思っています。
一方、Darcsは「変更とは何か」「マージは何をやるか」といったことを形式的に定義したPatch theoryを作り、その上で実装を行なっています。
そのおかげでこんなすばらいしことがあります。

マージやパッチの並び換えの正しさは証明されているので、致命的な欠陥はありえない (実装ミスはあるかも..)
Darcs特有の機能は(あまり)ないので、他のDVCSの挙動の理解にも役立つ
抽象的に定義されているので、他の言語や他の用途に流用しやすい

何が証明さているか

まだ参考文献を読み切れていないのですが、少なくてもPatch theoryでは以下の性質が証明されています

どういう状況なら、cherry-pickしても問題がないか
どういう状況なら、パッチを並び換えても結果がかわらないか
どういう状況なら、マージ可能か

まとめ

Darcsすごいので、みんな勉強しましょう!
ブランチを持っていなかったりしてツールとしてはちょっと微妙な気もするけど、それでもなおDarcsはすばらしいのです。