From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 503E87FB73 for ; Sun, 25 Oct 2015 22:01:13 +0100 (CET) IronPort-PHdr: 9a23:rwmJURDi6+WYzUjUUIbsUyQJP3N1i/DPJgcQr6AfoPdwSP/6osbcNUDSrc9gkEXOFd2CrakU1qyO6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZzvn8mJuLTtICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWcQCH0u/MDgqTXESAKO4DNcDjRXwVJ0BF397RzgRJq0Ezf7u+x71R6/MNDwTL0uEWC67qpxUhKthTsGOjg//SfSh9F2ja9BiBuoowB4hYDVNtK7Lv17K7LadNUcDXJIUsdWUyFIH8voZpEeH6wZNOpRs47nj1QLpBq6QwKrAbW8mXdzmnbq0PhigKwaGgbc0VllQosD Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=aryx.padator@gmail.com; spf=Pass smtp.mailfrom=aryx.padator@gmail.com; spf=None smtp.helo=postmaster@mail-pa0-f52.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of aryx.padator@gmail.com) identity=pra; client-ip=209.85.220.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aryx.padator@gmail.com"; x-sender="aryx.padator@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of aryx.padator@gmail.com designates 209.85.220.52 as permitted sender) identity=mailfrom; client-ip=209.85.220.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aryx.padator@gmail.com"; x-sender="aryx.padator@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f52.google.com) identity=helo; client-ip=209.85.220.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aryx.padator@gmail.com"; x-sender="postmaster@mail-pa0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BfAACcQi1WlDTcVdFegwqBAG+pSQaDKIUrjBoBDYFaIYV8AoEXOBQBAQEBAQEBARABAQEBBwsLCR8wgiuCBwEBAQMBEhEdARsSCwEDAQsGBQsNAgIJHQICIxEBBQEKEgYTEgIOh3gBAwoIAQQIpBOBMT4xi0mBbIJ5h1wKGScDClaEAAEBAQEBAQEBAQEBAQEBAQEBAQEBARIBBQ6BFIUOgleCboRaMweCaTGBFAWGCQyHeIgphRyIBoFZSIZojzaCJDWBFx8BAYJGI4F8UocYAQEB X-IPAS-Result: A0BfAACcQi1WlDTcVdFegwqBAG+pSQaDKIUrjBoBDYFaIYV8AoEXOBQBAQEBAQEBARABAQEBBwsLCR8wgiuCBwEBAQMBEhEdARsSCwEDAQsGBQsNAgIJHQICIxEBBQEKEgYTEgIOh3gBAwoIAQQIpBOBMT4xi0mBbIJ5h1wKGScDClaEAAEBAQEBAQEBAQEBAQEBAQEBAQEBARIBBQ6BFIUOgleCboRaMweCaTGBFAWGCQyHeIgphRyIBoFZSIZojzaCJDWBFx8BAYJGI4F8UocYAQEB X-IronPort-AV: E=Sophos;i="5.20,197,1444687200"; d="scan'208";a="151707351" Received: from mail-pa0-f52.google.com ([209.85.220.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Oct 2015 22:01:08 +0100 Received: by pabuq3 with SMTP id uq3so1627487pab.0 for ; Sun, 25 Oct 2015 14:01:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=QaZ5WYTkYUmfNapCVJO1+7MlVtLQLa+0o3SeCVCgsRc=; b=NQKc+H2iH4G9sfG/i4HfmtutO19loMM063XhyHcBHbT3H8c5eONMv2AJrtW9ThjCHj fkbGNY5SljeYOtRqF9a+n3xw2DBtC2IMAx2Zj4K/uN53YDSsGfLnISHSlkc/Jz6z4r06 H4vhIkY5H6mmyIsMZEw7QoDsKOJ3zFid6fe7Kip9iz3O3d8C5PGgSjcnnDKPozDSMAy9 N0C/amisg+oIlTwD9sbsEhnk7jgd16fBhFpRi0H0TYGrQZHVzWTUhQuCOam4kJ5QQ1Lh 7OkEsB+MrLb+XqdDHWD2sUu6k5k68msrzPHHbOM5cy6VRViObS01PnQ2abqaLiE/pnEZ xrYw== X-Received: by 10.69.17.136 with SMTP id ge8mr17984046pbd.119.1445806866849; Sun, 25 Oct 2015 14:01:06 -0700 (PDT) Received: from ?IPv6:2601:647:4901:3493:9c3a:5092:43bb:5c45? ([2601:647:4901:3493:9c3a:5092:43bb:5c45]) by smtp.gmail.com with ESMTPSA id i9sm29950329pbq.84.2015.10.25.14.01.05 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 25 Oct 2015 14:01:05 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) From: yoann padioleau In-Reply-To: <20151001161049.GC22139@aalto.fi> Date: Sun, 25 Oct 2015 14:00:59 -0700 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: References: <20151001161049.GC22139@aalto.fi> To: =?utf-8?Q?Pierre-=C3=89tienne_Meunier?= X-Mailer: Apple Mail (2.1993) Subject: Re: [Caml-list] Pijul 0.1 Hi, When do you think pijul will be self-sustaining? Can it handle codebase like the linux kernel? > On Oct 1, 2015, at 9:10 AM, Pierre-=C3=89tienne Meunier wrote: >=20 > Dear Caml list, >=20 > Florend Becker and myself are honoured to present version 0.1 of > Pijul. Pijul is a draft of a prototype of an implementation of Samuel > Mimram and Cinzia Di Giusto's theory of patches. >=20 > Where can I learn more? Where can I find this pijul? > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D >=20 > Pijul's homepage is http://pijul.org ; its sources are found at "darcs > get http://pijul.org". Both are a bit rough at the moment, but should > improve rapidly, maybe with your help=E2=80=A6 >=20 > There is a mailing list (pijul@pijul.org), and an irc channel should > be setup Real Soon Now=E2=84=A2. >=20 > Currently, pijul has a preliminary implementation of darcs' basic > commands. >=20 > What is a pijul, and how do I pronounce it? > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D >=20 > A pijul is a south american bird (Crotophaga sulcirostris), a relative > of the cuckoo. In contrast with its parasitic cousin, the pijul lays > her eggs in a communal nest, where they are incubated by the whole > community. >=20 > Pijul is thus pronounced as in spanish, IPA [pijul], or aproximately > pee-hhOOl (the hh is the sound at the end of scottish 'loch'). >=20 > What is the Di Giusto-Mimram Patch Theory? > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D >=20 > Pijul's patch theory originates in this paper: > http://arxiv.org/abs/1311.3903 . >=20 > Darcs' patch theory is centered around patches, with two primitive > operations, /commutation/ and /inversion/. Compared to this, pijul's > theory revolves around files (i.e., states of the working directory at a > given point in time) as well as patches, with a /merge/ operation > between patches. In contrast with git, this merge operation is > well-defined and has all expected properties: in technical terms, it is > a /pushout/ in a category where files are the objects, and patches are > the arrows. As a consequence of this, to ensure all diverging pairs of > patches have a merge, the set of files is extended to contain normal > files as well as /files in a conflicted state/. These conflicted files > are /rendered/ into the working directory by pijul as files with > conflict markings. >=20 > Thanks to this categorical construction, the Pijul version of most > algorithms used in darcs is conceptually simple and efficient. >=20 > What colour should the bikeshed be? > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D >=20 > Blanquiceleste >=20 >=20 > Cheers, > Pierre-=C3=89tienne Meunier >=20 >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs