From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Linus_Bj=C3=B6rnstam?= Newsgroups: gmane.lisp.guile.devel Subject: Re: Add internal definitions to derived forms Date: Fri, 18 Nov 2022 10:50:35 +0100 Message-ID: References: <2f38c5ea-0cb6-494e-b680-70b39c3291fb@app.fastmail.com> <38A58B58-3E5C-48EA-A108-1255982789DF@sarc.name> <39109fe3-4f7f-8d07-51ba-f9f993ab5c0d@lassi.io> Mime-Version: 1.0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="8297"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Cyrus-JMAP/3.7.0-alpha0-1115-g8b801eadce-fm-20221102.001-g8b801ead To: "Lassi Kortela" , guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Fri Nov 18 10:53:37 2022 Return-path: Envelope-to: guile-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ovy3x-0001sO-OY for guile-devel@m.gmane-mx.org; Fri, 18 Nov 2022 10:53:35 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ovy1V-0002nH-Lt; Fri, 18 Nov 2022 04:51:01 -0500 Original-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 1ovy1T-0002is-FM for guile-devel@gnu.org; Fri, 18 Nov 2022 04:50:59 -0500 Original-Received: from out4-smtp.messagingengine.com ([66.111.4.28]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ovy1Q-0002h7-Kr for guile-devel@gnu.org; Fri, 18 Nov 2022 04:50:59 -0500 Original-Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 8AA7E5C0550; Fri, 18 Nov 2022 04:50:55 -0500 (EST) Original-Received: from imap51 ([10.202.2.101]) by compute4.internal (MEProxy); Fri, 18 Nov 2022 04:50:55 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=veryfast.biz; h= cc:content-transfer-encoding:content-type:date:date:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:sender:subject:subject:to:to; s=fm3; t=1668765055; x= 1668851455; bh=gMRdEDPrW4yshlo57PFiKo9BUJDBL9P1O531U+L2Gog=; b=B IsKljXlMxLl1FAnzOfFSg1fID7ucrmvV5/lkIBsJvM892ICtjmW2CVewCVmpYkWV 0Oi6WZr2KxIDhlToVHP0ctm8md8ehmZoKFE9VXgXE9f25SCRPWPolEkErEL8UxFO pYiK6QbDHomXPWRdFD5o42ysMpsh7Q4N4Kbv7FbBO5sxc2j1fbozCJys1ZS1WbE9 iJ3rr2eGV1o+ud7onz39qVniUUueYjdLCOvMhQrBYcR1Hezqbl20t1ZOd403OTKA k37zLjCVd4oNF9qN2GDdX5iCJ/N3Z7O5cj4UyJ3/oH3bmATFDavm1dckwx9t4EFK NpOXpoO1jw4DjKCFF8BDA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:date:feedback-id:feedback-id:from:from:in-reply-to :in-reply-to:message-id:mime-version:references:reply-to:sender :subject:subject:to:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm1; t=1668765055; x=1668851455; bh=g MRdEDPrW4yshlo57PFiKo9BUJDBL9P1O531U+L2Gog=; b=nSwgVKZQAPHb12CRv KrdG4ZFLFIJq/BSqBK6G0MOVe99uBmHiNAMwvLUrbol1ivSz7FJq8a7Lkgbfd4ub P51XnC3rc6EAaNtFkm882bbpx4DvaxZDHn325HftOebQJl8iic6FZ4OoyUNehKvY MWGsVph9wRcTMtCd6IOjhQSPKul6ZsiJeocMO6kOi8sfSuhkcJ9IWXRGRzv+sOmd Louyl3u5M1sx5oUV7swMvgp/oyCmPhcUg33e9okJUUCHnVewdjgirAPQ74IYsDLh hr4PXbHUnAyV0JtRKanaaK7ajL8JnCA0tLP2K/b6SmGEqfW6Il2FuT/VxdNtDAjZ mrxCA== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvgedrhedtgddtjecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefofgggkfgjfhffhffvufgtgfesthhqredtreerjeenucfhrhhomhepnfhinhhu shcuuehjnphrnhhsthgrmhcuoehlihhnuhhsrdgsjhhorhhnshhtrghmsehvvghrhihfrg hsthdrsghiiieqnecuggftrfgrthhtvghrnhepleefvefffffgkeeguddvhfdvleevleej hffgieejteekteejfefhffethfdtieefnecuvehluhhsthgvrhfuihiivgeptdenucfrrg hrrghmpehmrghilhhfrhhomheplhhinhhushdrsghjohhrnhhsthgrmhesvhgvrhihfhgr shhtrdgsihii X-ME-Proxy: Feedback-ID: i51694465:Fastmail Original-Received: by mailuser.nyi.internal (Postfix, from userid 501) id 621A7B60086; Fri, 18 Nov 2022 04:50:55 -0500 (EST) X-Mailer: MessagingEngine.com Webmail Interface In-Reply-To: <39109fe3-4f7f-8d07-51ba-f9f993ab5c0d@lassi.io> Received-SPF: pass client-ip=66.111.4.28; envelope-from=linus.bjornstam@veryfast.biz; helo=out4-smtp.messagingengine.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.devel:21482 Archived-At: On Fri, 18 Nov 2022, at 10:27, Lassi Kortela wrote: >> Would "is like the body of a lambda" be a better wording? > > R7RS section 3.5. says: > > (lambda * * ) > > The * are the stuff you are adding. Not quite. Guile extends the lambda body (and by extension let-forms) to= allow mixed definitions and expressions: (lambda ()=20 (display "Heippa!") (define routsi #t) (and (read) routsi)) which expands to, more or less, a letrec*. All in accordance to the pape= r fixing letrec(reloaded). Thus saying that the cond clause body is like a lambda body is probably = the simplest way to express it.=20 best regards Linus Bj=C3=B6rnstam