From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id UI0OFM7c0mM9fgEAbAwnHQ (envelope-from ) for ; Thu, 26 Jan 2023 21:04:30 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id oE3RE87c0mNYHQAAauVa8A (envelope-from ) for ; Thu, 26 Jan 2023 21:04:30 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id BD50B3BD16 for ; Thu, 26 Jan 2023 21:04:29 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pL8Tc-0004eV-Rx; Thu, 26 Jan 2023 15:04:04 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pL8TW-0004bJ-KK for guix-devel@gnu.org; Thu, 26 Jan 2023 15:03:59 -0500 Received: from mailout.easymail.ca ([64.68.200.34]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pL8TU-0007Dr-D6 for guix-devel@gnu.org; Thu, 26 Jan 2023 15:03:58 -0500 Received: from localhost (localhost [127.0.0.1]) by mailout.easymail.ca (Postfix) with ESMTP id 170A26821D; Thu, 26 Jan 2023 20:03:52 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=bokr.com; s=easymail; t=1674763432; bh=TqWlu2hPSxALMiOyq6Vnr++qYYV17Zv3GjKUsz+rKz4=; h=From:Date:To:Cc:Subject:References:In-Reply-To:From; b=keDEo76qJYNVNSswvgXoGj6481BLyimYCdYsiujjphFMFXu/IBXVcLwb41FZu/8Of 20+3NVi/2nHLQHzKOOVEJgcL4iUf0i8ia+7p2/V8g//CTe7XD3zMR2ZuGtfN0tsq30 PaueepSJP+4x5GhHF6PIHUqCDHFd3eoSTrsUYmlj6hH6oesrDIDK54WiFh4kyHjEAI mGTWGNntKAeSm2u37h65usgXGQfildxnxVNhRD8+M+0WhbzPSbj5Uj7V4f1RxsnKcJ t4RgRw1JYTvAqNUq/x7HYQyVYyvglv/OIMba2/xL/di7z2KKqCL8W0J0GgLiTVjAS1 6elE+pIz7jreg== X-Virus-Scanned: Debian amavisd-new at emo07-pco.easydns.vpn Received: from mailout.easymail.ca ([127.0.0.1]) by localhost (emo07-pco.easydns.vpn [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id r76hwl5KN3EM; Thu, 26 Jan 2023 20:03:51 +0000 (UTC) Received: from localhost (m90-129-208-105.cust.tele2.se [90.129.208.105]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mailout.easymail.ca (Postfix) with ESMTPSA id 380FA68187; Thu, 26 Jan 2023 20:03:51 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=bokr.com; s=easymail; t=1674763431; bh=TqWlu2hPSxALMiOyq6Vnr++qYYV17Zv3GjKUsz+rKz4=; h=From:Date:To:Cc:Subject:References:In-Reply-To:From; b=Q5B2aWCb73C5hlM9qAYiKK6o3g/+blzIRXz+te6LFBcEJ8YgmFQY9UOqJPpy3ZY9t uD3ulO6AHxdjPDsGltC/jDOcTeErBya/rmCdjsVLsxL2b/95wop3tq/t+iFKa4DzO7 AixFiLPiNjjx2+1WFpX9DEfBS0HZHFZ6wZzw/iEf4SwgXtwD4TgSeCD71tatAOTj/G /pOFWCRmoXzaQhlbzZgviKSHcn2+hC6e2SiNs86JXd1aGaoL2clY1wree+xE1iGyZ/ bw8cTvIVw4asmNq6cAiPC1uBDcN6UiRVoUy+umPNCkJm72Aax5yyakWUyNqoO0lPao c6Vc9pWOKamDQ== From: bokr@bokr.com Date: Thu, 26 Jan 2023 21:03:37 +0100 To: Simon Tournier Cc: Wojtek Kosior , "(" , guix-devel@gnu.org Subject: Re: Struggling to write Dissecting Guix, Part 2 Message-ID: <20230126200337.GA11812@LionPure> References: <20230125165445.24771f77.koszko@koszko.org> <86tu0dsfy0.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <86tu0dsfy0.fsf@gmail.com> User-Agent: Mutt/1.10.1 (2018-07-13) Received-SPF: pass client-ip=64.68.200.34; envelope-from=bokr@bokr.com; helo=mailout.easymail.ca X-Spam_score_int: -23 X-Spam_score: -2.4 X-Spam_bar: -- X-Spam_report: (-2.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URI_DOTEDU=1.997 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list 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+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1674763470; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=OHwIexaTHW6K9nkT1yacQ22cPxzdL1zb9SkR1/V163g=; b=J2kiy+ZBEhnxyne8mxWJie9cyZCdGxAl99dGG+t9ATCCO80kok03WZjWbEWQPVaq9Jbngr 4XQuU1LZPnlvkRfNdtnBtk+8Cwl2KZUp2LH7n5qpJVMiWccPX4pDDy0s9XmxCZRg6b1/bD FQIjb2kN1X3d2BHWWuE6UlRL7bNbJptnuP3IkRnQMkL+owPkIbMDy2zwdh04Eea52xz7pO d8X06GZ1dMG957Io7VfqkujwWmJNCTsb/UAuDKJBhOOCgp/ClF36sCtGo1GVDzGrUawYfW bIEcBKvZpML7NeoOHSCfSNIe1DEthNMKZjKCbOKIDy5ME/x8OPn3Ua76UVIIyQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=bokr.com header.s=easymail header.b=keDEo76q; dkim=fail ("headers rsa verify failed") header.d=bokr.com header.s=easymail header.b=Q5B2aWCb; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1674763470; a=rsa-sha256; cv=none; b=SRUzcbg+oIrYqTcu0XfPo9uoWva5svcnooXAbntu7yhjNJ2hH5r//3dSPZuv530RCypQI3 p5IU7TEGdIVH4hrRq1r23JfPYlRpKgV4NdQHFQ3sTbnMHHJcn0fjIR8z8LH1OtSrMUcgWy ZE9p+c/ZISWLppbHPtkrlMBedTmFE5Kr78RApsnYw2ZQ/vgFjo9IH5iZluU5Kfhmv8Cq6j 1PggmNepkeNS92S18rpV9fZ08j0rb4EXoHLNNG0qJCCXeaERF7RV9afuEikeudjWS0hb2R IejNMdDuAdlWjMrUepTuJEVfEjaGYa+zoCl+NdUuiTIO8UctDrhDF/SnTxeG2Q== Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=bokr.com header.s=easymail header.b=keDEo76q; dkim=fail ("headers rsa verify failed") header.d=bokr.com header.s=easymail header.b=Q5B2aWCb; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: 0.93 X-Spam-Score: 0.93 X-Migadu-Queue-Id: BD50B3BD16 X-TUID: 7jW7qzA8ZWC+ Hi Simon, On +2023-01-26 12:17:27 +0100, Simon Tournier wrote: > Hi, > > On Wed, 25 Jan 2023 at 16:54, Wojtek Kosior via "Development of GNU Guix and the GNU System distribution." wrote: > > > here[1] is > > the paper (written by someone at Microsoft, lol) where I found this > > approach. > > > [1] https://www.cs.tufts.edu/comp/150PLD/Papers/awkward.pdf > > The author of [1] is Simon Peyton Jones [2]. One of the designers of > the Haskell programming language and one of the main implementer of the > Haskell compiler GHC. And a great speaker and author. :-) > > 2: > > Cheers, > simon > Indeed, Simon Peyton Jones is tops. You may be interested in this[3], if you have not seen it: 3: >From the introduction: --8<---------------cut here---------------start------------->8--- Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for functional logical programming. Our main contribution is to equip VC with a small-step rewrite semantics, so that we can reason about a VC program in the same way as one does with lambda calculus; that is, by applying successive rewrites to it. This draft paper describes our current thinking about Verse. It is very much a work in progress, not a finished product. The broad outlines of the design are stable. However, the details of the rewrite rules may well change; we think that the current rules are not confluent, in tiresome ways. (If you are knowledgeable about confluence proofs, please talk to us!) We are eager to enagage in a dialogue with the community. Please do write to us. --8<---------------cut here---------------end--------------->8--- Some ideas to enrich guix or the guile language pagoda? It is interesting that Epic Games has apparently funded quite a collection of heavies to do some deep abstract thinking. I imagine SPJ is enjoying discussions. Check the author list! I got the link at [4] which is much snappier serving than it was before. (It's a place to go if you are in the mood for something chewy ;) It also has interesting programming language historical genealogy diagrams. 4: (I hope they get https going ;-) -- Regards, Bengt Richter