From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Timothy Sample Newsgroups: gmane.lisp.guile.user Subject: Re: Inconsistencies with free-identifier=? and bound-identifier=? Date: Fri, 28 Jul 2023 22:37:51 -0600 Message-ID: <87wmyjgwo0.fsf@ngyro.com> References: <008f724d79b871ce1d68121402bbcbcdd25ec270.camel@abou-samra.fr> <87h6ppi4ze.fsf@ngyro.com> <6195a14f3877dff0b8dfc2a5d1d35e89b3d4f144.camel@abou-samra.fr> 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="13430"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) Cc: guile-user@gnu.org To: Jean Abou Samra Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sat Jul 29 06:53:21 2023 Return-path: Envelope-to: guile-user@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 1qPbxA-0003JQ-Ar for guile-user@m.gmane-mx.org; Sat, 29 Jul 2023 06:53:21 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qPbiQ-0003Tj-83; Sat, 29 Jul 2023 00:38:06 -0400 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 1qPbiM-0003Ta-Ii for guile-user@gnu.org; Sat, 29 Jul 2023 00:38:02 -0400 Original-Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qPbiI-0000oA-MT for guile-user@gnu.org; Sat, 29 Jul 2023 00:38:01 -0400 Original-Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 728B55C010C; Sat, 29 Jul 2023 00:37:53 -0400 (EDT) Original-Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Sat, 29 Jul 2023 00:37:53 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ngyro.com; h=cc :cc:content-transfer-encoding:content-type: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=fm1; t= 1690605473; x=1690691873; bh=PxuDI58M3pdl3LPLkshRgu1CXTsq3qQy9qv a/SEFS2k=; b=3Y23+R/huHcoKdl5zwxP46OaoWlJG4+D2yR5+WZ8lmp74Yzx37X Ir/x0MvZaU+r2+STW37r24a/j3DD6cv69SLWNGZcWB94GpoijE2J0Vp4kgFjTD9v XsUP+3CCjqnJ6rvNLOXN8NOOeW31M4Fh20QmBLYruGFYE/as+WON/0eBa1vAk2el vjvyn3HN/ulbrbgl9fQe7BGPo9gAYgD/QqALx/8lwFpvge4+1sRMzoZYjcwvY5oU BOPkFsHWkkuSYhDtgaOIZRnU37P8v6KezTDrRVEm+edphKahWRDK5YwTMgsc3tx/ MU4TfDJblCBK5g29rJzhoqC117xbrDQYyZA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type: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=fm3; t= 1690605473; x=1690691873; bh=PxuDI58M3pdl3LPLkshRgu1CXTsq3qQy9qv a/SEFS2k=; b=DzUfP4nfKiaWgOy9XgQlpVwiO2rRcUNnrUDvZkfMsfuT69oXV/w OOfENITybBC+q0T5M/WaU6WbzwMLO9F/D59R7zBbdIoccg6ckw9tKxjD7XJawRxD G3Lm4lt2qKb59M4w3cb3ZSIEJjKuNSS5cieK42bhQSmBpQWz7G1AfvmUifU/5dsg vg1GypLy1Np0Fvvu156ni+879opDWMjxxHtmu9M5/XmwmrF9XgV0y9C9eQIAKsh8 I/O/Bzs/oGPgsZyk8u2tc79Aje5dNjVXuDRtFyKyH/T+c66u/FY7SnElWC0836YL Nf0YZmUuy7EAXd8CTWu+WLDo+R2z5qbzP0g== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedviedrieejgdekgecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvfevufhfffgjkfgfgggtgfesthhqredttderjeenucfhrhhomhepvfhimhho thhhhicuufgrmhhplhgvuceoshgrmhhplhgvthesnhhghihrohdrtghomheqnecuggftrf grthhtvghrnhepgfegtdekvdeviedvtdehgfektedtvdduheduieduvddvledvgffhhfef uedvjeefnecuffhomhgrihhnpegrtghmrdhorhhgnecuvehluhhsthgvrhfuihiivgeptd enucfrrghrrghmpehmrghilhhfrhhomhepshgrmhhplhgvthesnhhghihrohdrtghomh X-ME-Proxy: Feedback-ID: i4721425c:Fastmail Original-Received: by mail.messagingengine.com (Postfix) with ESMTPA; Sat, 29 Jul 2023 00:37:52 -0400 (EDT) In-Reply-To: <6195a14f3877dff0b8dfc2a5d1d35e89b3d4f144.camel@abou-samra.fr> (Jean Abou Samra's message of "Fri, 28 Jul 2023 12:09:43 +0200") Received-SPF: pass client-ip=66.111.4.25; envelope-from=samplet@ngyro.com; helo=out1-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, 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, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.user:19110 Archived-At: Jean Abou Samra writes: > Le jeudi 27 juillet 2023 =C3=A0 12:28 -0600, Timothy Sample a =C3=A9crit : > > May I ask why you are exploring this? It=E2=80=99s quite arcane! > > Because I am writing my own syntax expander :-) Nice! Best of luck to you. :) > (This is a school project, nothing serious. Still, formalizing the > macro system is kind of the whole point. I wanted to make sure I was > getting it right, but now I'm discovering that "right" is not a thing > here :-). > > Thanks for your links, I will read them. One other one that I will point out is =E2=80=9CInferring scope through syntactic sugar=E2=80=9D by Justin Pombrio, Shriram Krishnamurthi, and Mitc= hell Wand (https://dl.acm.org/doi/10.1145/3110288). I didn=E2=80=99t get a ton = out of it (maybe I didn=E2=80=99t understand it!), but since you mentioned formalizing, they give a more formal definition of variable scope (section 3) that might interest you. -- Tim