Pijul: A intuitive VCS unlike Git that's based on sound theory of patches

Re:Pijul: A intuitive VCS unlike Git that's based on sound t... by creata on Saturday September 26, 2020 @10:29AM (#24599108)

You say Pijul's pushouts are unrelated, but their construction depends on a very line-centric definition of patches. Wouldn't it need to be made more complex to accomodate tree patches?

[ Parent | on HN ]

Re:Pijul: A intuitive VCS unlike Git that's based on sound t... by juped on Saturday September 26, 2020 @03:13PM (#24601367)

No? The concept is that a unit of diffing (a line, or a tree node in your hypothetical tree-diffing approach) can be ambiguous until another patch resolves the ambiguity.

[ Parent | on HN ]

Re:Pijul: A intuitive VCS unlike Git that's based on sound t... by creata on Saturday September 26, 2020 @03:20PM (#24601415)

In the vaguest sense, sure. But if a file is a list of lines, this "ambiguous file" is a digraph of lines. If a file is instead a tree of strings, what does an "ambiguous file" look like? See this paper which was the source of some of the main ideas of Pijul, and in particular, note that its extension to structured data is listed as "future work", which means it probably hasn't been done yet.

https://arxiv.org/pdf/1311.3903.pdf

[ Parent | on HN ]

Re:Pijul: A intuitive VCS unlike Git that's based on sound t... by juped on Monday September 28, 2020 @05:55PM (#24621629)

I don't think you have understood the pushouts paper. Look at figure 4 again.

[ Parent | on HN ]

Re:Pijul: A intuitive VCS unlike Git that's based on sound t... by creata on Friday October 02, 2020 @02:55PM (#24665847)

Which one's figure 4? They're not numbered.

Also, can you point out what my misunderstanding is? That'd help a lot.

[ Parent | on HN ]