Diary?

(21:29)

Tanabe さんとこで Linus Torvalds が SCM について語ったスピーチの記事が書かれてた。俺は英語力がアレなので肝心のスピーチの内容はちょっとようわからんのだけど、マージアルゴリズムについては多分「git はまとも」とは言いきれない気がする。

詳しいことは CategoryMergeAlgorithm と CrissCrossMerge が参考になるのだけど、ここで git のアルゴリズムは問題を抱えていると書かれている。ここで書かれている再帰的な 3-way マージは一見すると正しそうというか、俺も多分これが正しいんじゃねえかって書いてたんだけど、問題のあるケースがしっかり出されている。それとも、現状の git や Mercurial のアルゴリズムはチューニングが施されているのかな (Mercurial は Codeville 由来のアルゴリズムらしい)。

これらの中で孤高の存在というか全然違うアプローチなのが darcs で、俺はパッチ代数学は全然詳しくないのだけどこの路線が一番確実なのかな。今のところはいくつかの問題を抱えているらしいのだけど、解決の予定はあるようだ。