From mboxrd@z Thu Jan 1 00:00:00 1970 From: zimoun Subject: Re: Prototype tool for building derivations Date: Fri, 24 Apr 2020 15:35:02 +0200 Message-ID: References: <87h7xh6ex1.fsf@cbaines.net> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:35846) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jRyUM-0003dB-7I for guix-devel@gnu.org; Fri, 24 Apr 2020 09:35:30 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1) (envelope-from ) id 1jRyUC-0005s9-P1 for guix-devel@gnu.org; Fri, 24 Apr 2020 09:35:29 -0400 Received: from mail-qt1-x82b.google.com ([2607:f8b0:4864:20::82b]:40223) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jRyUC-0005Y5-AW for guix-devel@gnu.org; Fri, 24 Apr 2020 09:35:20 -0400 Received: by mail-qt1-x82b.google.com with SMTP id e17so4423933qtp.7 for ; Fri, 24 Apr 2020 06:35:19 -0700 (PDT) In-Reply-To: <87h7xh6ex1.fsf@cbaines.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org Sender: "Guix-devel" To: Christopher Baines Cc: Guix Devel Hi Chris, On Fri, 17 Apr 2020 at 22:22, Christopher Baines wrote: > Just let me know if you have any questions or comments! >From what I understand of both your prototype and build systems, you should interesting to read this paper [1]: "Build systems =C3=A0 la carte: Theory and practice". It needs some imagination if you are not familiar with Haskell notations. And you should interested by section 4 about Schedulers and section 5 about Rebuilders; especially Table 2 p.28, and also subsections 8.2 about Parallelism and 8.4 about Could implementation. [1] https://doi.org/10.1017/S0956796820000088 Thank you for the initiative and sharing your perspectives. Cheers, simon