From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Dr. Arne Babenhauserheide" Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH] add language/wisp to Guile? Date: Mon, 27 Feb 2023 06:00:17 +0100 Message-ID: <87mt4zbsx7.fsf@web.de> References: <3517394.V25eIC5XRa@bastet> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4926"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.8.13; emacs 28.1 Cc: Marc =?utf-8?Q?Nieper-Wi=C3=9Fkirchen?= , guile-devel@gnu.org To: Philip McGrath Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Mon Feb 27 06:04:58 2023 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 1pWVh4-00012i-61 for guile-devel@m.gmane-mx.org; Mon, 27 Feb 2023 06:04:58 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pWVgh-0003uo-44; Mon, 27 Feb 2023 00:04:35 -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 1pWVgf-0003uf-HI for guile-devel@gnu.org; Mon, 27 Feb 2023 00:04:33 -0500 Original-Received: from mout.web.de ([212.227.15.14]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pWVgd-0001tZ-LT for guile-devel@gnu.org; Mon, 27 Feb 2023 00:04:33 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1677474266; i=arne_bab@web.de; bh=ew9KNL61e6q+DDbl2F+3KRvCD0LqBzH9GXdTtCRYtkg=; h=X-UI-Sender-Class:References:From:To:Cc:Subject:Date:In-reply-to; b=NRoJzx9NXg4JqoNwNOZOP1yA8E8Jrs2AWZhc+hW2+IpvL0qTHuQmpujLHcjJYM894 fpfS8fzMnKbwuUTESrdzkrccXiD7RqKLZ34a8lIOxqW6g0ApRg4aSNFETh5WUo95iT WBJFI9fkfsOXRWUU4Dyv9xRkD7hg6ZAHG4eEKN66xXJ1mNA/SeiFnXvPHuqE8EniGp oTPUY/X2mrHh/cFumUV0UXNPtv7vPzfcsnio/H6QBZHGWJwclmKDVoJkXtG1tqFZJA dtbTEF5OyU6ZKex0R/978I7s9/dw0HRhbXaYQhVmDIawBOeIiQswErAAKpSbkCfl4u WAXJ1XG6lut7A== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from fluss ([84.149.95.143]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MRk0k-1p4UPw0fus-00TASt; Mon, 27 Feb 2023 06:04:26 +0100 In-reply-to: <3517394.V25eIC5XRa@bastet> X-Provags-ID: V03:K1:KA3aJJCdqvSsQP2F8doE+Y5Kn792VcGTvN+GDWbEXkB3J7gc//D peSOqTd7rJfPzsBnc+ZdR9C+TZIhZjKu37t0mSA7HZgPPkuV+gFhYOl+0J9Jh4M+wc6qR83 ljZtEpwMvoRyu54QK04LHZLLanAhZ/beKJRyBOV1gkbhUn69eoXnySXagvQbhogN9XH+Jae 5mAwjbezaOwv9oVnD3BsQ== UI-OutboundReport: notjunk:1;M01:P0:ZYQKY9v3pfs=;Wr6tBiWDBt31wOITGYMDPoLv/PZ ZPDOLtrEzikHxFWXE+wQ2issRHzexyqZm/vnVYICnAY5uJKy2mjvOSboCutxpS8H4Jppe64lX /8OF4l8ZR5Edd7uS7O6sDV29VdDi5iPhxDErby7YDNZokdiRxPj2MQHeDbZpLfHfMvdJ3+BhT umOyEEqp+NuOEihlzxzTMipbD6gL5CcuNUHQzsOVLOHMku8T1fNy0f64nTublXtkuEbo/2bc0 UBs2UrEQDY33rHvs9Ld4sNbkd1Cn3+fcpDtcE3xxnbrQ7RTV/b9MLilwZx8fw9uZyw+hJu1UI gu3Bkh2Jo7VRDloUnPmATpVPKj4P5i/tPqWGL39q9ORhQ+oRg4Zmej4zumkUPNtirIedOo2iM /uoqg62hoESX650+wkTaOltg7K4dAmVi5ije82ncc9A8q5hC68cCGJ/9itMCatAs2uY1CEQlZ PFmZ/rEhS4IckLf/yaDUr38AV94aNxq1MoiTzFUzjT3/XAQa/wSP+YnwA3hPnXzRoc7SceVCC Pop3Gmqbal652NDX+FBDrtqMS62TM/5J85dYZiNdRGl1AHnccGxV/84KzUdDwnczldi39TJZ4 AC8ul2CEt788u+A2jxPoaMLYMIfNBECQ0JUvOjkg5JrOESjBxXDsdhG7KkExgjJoQXMB3B6hk 49DBUfOQB3ADQT/pJ7fQWpRZ/BiCa6fvweqqZWU34pSY9mGGlFKkyy6rMmOt4Yh84O3boS7Hy 2S4h7oGeAAe3jblDUASMtmTCnhjmzVnsyhefBDVq3jrGoB3c8nnZDD2AHJJF+ZG0zAOGdlD3 Received-SPF: pass client-ip=212.227.15.14; envelope-from=arne_bab@web.de; helo=mout.web.de 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_H2=-0.001, SPF_HELO_NONE=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:21753 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Philip McGrath writes: > On Sunday, February 26, 2023 6:02:04 AM EST Marc Nieper-Wi=C3=9Fkirchen w= rote: >> Am So., 26. Feb. 2023 um 08:46 Uhr schrieb : >> I would like to make two remarks, which I think are essential to get >> the semantics right. >>=20 >> The R6RS comments of the form "#!r6rs" are defined to modify the >> lexical syntax of the reader; possibly, they don't change the language >> semantics (after reading). In particular, "#!r6rs" also applies to >> data files but does not affect the interpretation of the data after it >> is read. It cannot because the reader otherwise ignores and does not >> report comments. >>=20 >> Thus a comment of the form "#!r6rs" may be suitable for Wisp, but it >> is not a substitute for Racket's "#lang" (or a similar mechanism). >> Guile shouldn't confuse these two different levels of meaning. > > I agree that it's important to distinguish between lexical syntax (`read`= ) and=20 > the semantics of what is read. > > However, Racket's `#lang` in fact operates entirely at the level of > `read`. I would like to stress here that we=E2=80=99re talking about Guile where the infrastructure works differently, so "this is how Racket does it" isn=E2=80= =99t that relevant to the question about the right way for Guile. Guile uses explicit language specifications with reader, compiler, decompiler, evaluator, printer and default environment. That is for what we need to find good solutions. Best wishes, Arne =2D-=20 Unpolitisch sein hei=C3=9Ft politisch sein, ohne es zu merken. draketo.de --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmP8OdcQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD60szEACIWjcJ4lJMux45ViilqCd8EIkTMWKGRZLr 172sA1XMQTbDDVFwYHLlPaNRyTIi2z+esys+muhsNalg6ckb3D+4odXWNzDE9yJS NGcqoRAFL3OWSUmFjVgX6Lg4fK0YvIzudr+0a6FWPUsSmb9XOEcPS89ZoeIWdRPo 0OK64ALu01B1y/YUZAP8Ixfs5e9AiW6V6UCg9NIKngDMuBUFeq2cFcH/uTyabV9w ZidxFwlbuiNYCGmxmV9V4G3jLHppV+W6IOfdkf+DyAUlUQWEC40XsgmTpBEfbzqn HC/wB+HCkLge1ZHcuZ2KubWhiA5NwomOkDx6IKpS2cBSCQTWSt/8mbJwhJwtDXy4 0FKlVJCo6+Tc7OrEDZmCfPY6vKAOjWzBNMf6YEgVRFwxhuYqAJgNwa/TZ2UzsuCj 3fLLpUppl6TiJ1rJ/OOGswBAOfNKFsfgi4mlCRoUrcwRwCtwh7y94byMw01oTCwJ DLV8NnwG38PE1crs/6CCpCNpPXCqITybh5uAbXkIYKaYR3yGe40mR3wUsTrlrHmX f7FYnB0unUGl0WIcYwWztHy6vL6eFpBfAe62wsY4cLknSJOzT52stHKeX4tYnnRj wt6MFuYOAshQWr+SQiBW73g5rErrS8YsOOKtSn5QjCTRqjR6v6bZt0d3e4fIC9Sz 5b+v8bgxFYjEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmP8OdcQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSKv6A/4qJVjmDxZTMxKiINggAovRbuF3 5+8wKuz6Lrzgr6U9+la7Z9tKeSyQ6DPFhtJSjrdFzAfVCpu/ee4WcUkCwIbxQTs1 /o9OLBDsXg9P6nHytcOny+NwHXaGFaFQvSIHWl1OhgF/GrxheZ0UYWhshiQtKNGE eFUJMtpQi0oFtswd5Q== =rGEM -----END PGP SIGNATURE----- --=-=-=--