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 D6C2B7FB5F for ; Mon, 26 Oct 2015 06:20:02 +0100 (CET) IronPort-PHdr: 9a23:RloP/hJxLiasqBGTvtmcpTZWNBhigK39O0sv0rFitYgUI/jxwZ3uMQTl6Ol3ixeRBMOAu68C07KempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lR8iK14ye7KObxd76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtKhY7j9Itvk928lFWKT8N+RkHP0LRAghZnEy7cvt/QHKQQqI4nYVTy1CmwBZE07d5R3zQpDrmiT/v+t5niKdOJulY6ozXGGa7qpxUhKtKTsGOjg//Snyh9F2ja9B6Ea5phFl2YORbZ2UOfx4c+XYcM4cRGdbds9YUzBGRI29OdhcR9EdNPpV+tGu72AFqgGzUFX9CQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pierre-etienne.meunier@aalto.fi; spf=None smtp.mailfrom=pierre-etienne.meunier@aalto.fi; spf=None smtp.helo=postmaster@smtp-out-02.aalto.fi Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pierre-etienne.meunier@aalto.fi) identity=pra; client-ip=130.233.228.121; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pierre-etienne.meunier@aalto.fi"; x-sender="pierre-etienne.meunier@aalto.fi"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pierre-etienne.meunier@aalto.fi) identity=mailfrom; client-ip=130.233.228.121; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pierre-etienne.meunier@aalto.fi"; x-sender="pierre-etienne.meunier@aalto.fi"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp-out-02.aalto.fi) identity=helo; client-ip=130.233.228.121; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pierre-etienne.meunier@aalto.fi"; x-sender="postmaster@smtp-out-02.aalto.fi"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BeAABWty1WnHnk6YJehApvBqxykVOBWiGFfAKBHzkTAQEBAQEBAQEQAQEBAQEICwkJIS6CK4IIAQEEIw8BBTYLEAsYAgIFBB0CAg8FMQIWDgUSAogHAxIECbIOjQ4DhGABAQEBBgEBAQEBAQEBG4EiilOEWjMHgmkxgRQBBIYJDJAhhRyHfgiBWUiGaI82g3AjAoJlgV5whhKBBgEBAQ X-IPAS-Result: A0BeAABWty1WnHnk6YJehApvBqxykVOBWiGFfAKBHzkTAQEBAQEBAQEQAQEBAQEICwkJIS6CK4IIAQEEIw8BBTYLEAsYAgIFBB0CAg8FMQIWDgUSAogHAxIECbIOjQ4DhGABAQEBBgEBAQEBAQEBG4EiilOEWjMHgmkxgRQBBIYJDJAhhRyHfgiBWUiGaI82g3AjAoJlgV5whhKBBgEBAQ X-IronPort-AV: E=Sophos;i="5.20,200,1444687200"; d="scan'208";a="151723468" Received: from smtp-out-02.aalto.fi ([130.233.228.121]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Oct 2015 06:20:01 +0100 Received: from smtp-out-02.aalto.fi (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 826F02710BD_62DB800B; Mon, 26 Oct 2015 05:20:00 +0000 (GMT) Received: from EXHUB01.org.aalto.fi (exhub01.org.aalto.fi [130.233.222.118]) by smtp-out-02.aalto.fi (Sophos Email Appliance) with ESMTP id 3C48F27108B_62DB800F; Mon, 26 Oct 2015 05:20:00 +0000 (GMT) Received: from localhost (86.50.147.113) by mail.aalto.fi (130.233.222.118) with Microsoft SMTP Server (TLS) id 14.3.224.2; Mon, 26 Oct 2015 07:20:00 +0200 Date: Mon, 26 Oct 2015 07:19:59 +0200 From: =?iso-8859-1?Q?Pierre-=C9tienne?= Meunier To: yoann padioleau CC: caml users Message-ID: <20151026051959.GA3920@aalto.fi> References: <20151001161049.GC22139@aalto.fi> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.24 (2015-08-30) X-Originating-IP: [86.50.147.113] Subject: Re: [Caml-list] Pijul 0.1 This is not absolutely clear, we don't want to be held back by forward compatibility constraints too soon. It can definitely handle large codebases, if we believe our benchmarks. On Sun, Oct 25, 2015 at 02:00:59PM -0700, yoann padioleau wrote: >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-Étienne Meunier wrote: >> >> Dear Caml list, >> >> Florent 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. >> >> Where can I learn more? Where can I find this pijul? >> ==================================================== >> >> 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… >> >> There is a mailing list (pijul@pijul.org), and an irc channel should >> be setup Real Soon Now™. >> >> Currently, pijul has a preliminary implementation of darcs' basic >> commands. >> >> What is a pijul, and how do I pronounce it? >> =========================================== >> >> 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. >> >> Pijul is thus pronounced as in spanish, IPA [pijul], or aproximately >> pee-hhOOl (the hh is the sound at the end of scottish 'loch'). >> >> What is the Di Giusto-Mimram Patch Theory? >> ========================================== >> >> Pijul's patch theory originates in this paper: >> http://arxiv.org/abs/1311.3903 . >> >> 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. >> >> Thanks to this categorical construction, the Pijul version of most >> algorithms used in darcs is conceptually simple and efficient. >> >> What colour should the bikeshed be? >> =================================== >> >> Blanquiceleste >> >> >> Cheers, >> Pierre-Étienne Meunier >> >> >> -- >> 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 >