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: (. wtf?) Date: Sun, 07 May 2023 21:44:33 +0200 Message-ID: <87a5yfrk9b.fsf@web.de> References: <110317045333325207.civodul@toot.aquilenet.fr> <5y949ftu.dag@gnui.org> 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="19873"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.10.2; emacs 29.0.90 Cc: Ludovic =?utf-8?Q?Court=C3=A8s?= , guile-devel@gnu.org To: Dmitry Alexandrov Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Sun May 07 21:54:00 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 1pvkSF-0004yN-6G for guile-devel@m.gmane-mx.org; Sun, 07 May 2023 21:53:59 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pvkRw-0003At-Qm; Sun, 07 May 2023 15:53:41 -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 1pvkRu-0003Ag-Ui for guile-devel@gnu.org; Sun, 07 May 2023 15:53:38 -0400 Original-Received: from mout.web.de ([212.227.15.3]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pvkRt-0001DM-4A; Sun, 07 May 2023 15:53:38 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1683489211; i=arne_bab@web.de; bh=ZEM04GJgFj2AiYqafGK0v1k7jpA0XvkLL6eZoib8jB8=; h=X-UI-Sender-Class:References:From:To:Cc:Subject:Date:In-reply-to; b=a0Ro18JV3s+ZLtc8M9WLSc0omu4s02UIZM8U0EBdRGJegQlXItiQyxP5n2V4f1/8m DmNcoX0pQPS13fAHcpsNXNjIlra989wdzz2EL7NH/gZo0+3EcmgaV2W9Rn2lqH+kii 9iL4z7CKYtoNaF8TNPXd6W5zvywVqu29kfseiFqKELUQvCZHdD5INDT8Wvgw/vDGVX rUXYj0Tuo5lkkf2rrbaZo+Jl/OG6rzAoaZ4Bv5kq1Ki1sPxc7Qxi2jyof820wnjB/C a+hg0SKRo2HOCi8g5KN9sbvkTASCYIqOIjZOPOqiYH8UPFgHEOutbXKl7NDHHAVsNR Bj6UXVmfkxqFA== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from fluss ([84.165.25.222]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MxpiU-1q8dSX2PEc-00zJHA; Sun, 07 May 2023 21:53:31 +0200 In-reply-to: <5y949ftu.dag@gnui.org> X-Provags-ID: V03:K1:dFB+KfE2vdL9dvTcSxxe0xccOWpPiwymkIvYaFEC3T5P3X2O/P+ csmeBnfVdpiiCv/Wml7m8SkjB5H/4nwi/aZl8FpB8ivAPXpB5+k5N10TalZeDbG2h8042t0 5Fo8PapkUA2P2aXDmA7tO8DNr0WBcdrMImyEj21sS0gHpwr+sGVGhbDTqWzcHrWdbfI1lFq Gvwt/B8jWf0oDKVah9Djg== UI-OutboundReport: notjunk:1;M01:P0:wagT5E2B7rM=;AFrHOXvYZLrYwhtqwr3/EEc5rTf 5iXljZ4ZE01qz+OqtRetHh/Eoz8z1Z5/B3CfWb8zgXSnymGeW4g7slIgy0nCsnXbGldTt7DXb EK7gVnEAWvs0Poy0OyTOsCS8vkJoaDRDgxlAR41qqbl3b/MAS8BF96DhofS97tD5gwWyEOVF0 dRPCDqUo8TYaQbQ8ViE4ZoJ1pU5lhuU7FIgOCKQFZ4ZcseUdiL0AXVW1X6e+q3s6Rd5mpAX0j ZsFaVv/dpUiiOMppdWLeS8ggzc7Mz0xir4Jded61avD399woE2jgadqtNVnF3xzzs4t+lgwuw NJ6/p2U0EkwZFpZVA5UYJE411og/g+VRjB5mWHEYQ7rF7OI1XrW/HmfZrng7vplxhYCD5iMAD OQdM5H+wFRr6myp0VmgbH0PQEG7ki8w9wDIryu1LOYwdBeN2nSbjQyHAIiAua+cYjP9iBJOKE roXP1OM+03/xdOMx1KcCJNuNj6XD+c0WheXbGowxTyXvZkpQZVVfeHFvEqlDef59iyAj52Ttj QWisM2b+OKl8RHBlFunqCxMj5+aoY9P+62Wk/YTK3rh/O4Z/yhSsmz7WTCcb4UTwWLUle9V2G r5YxjSQobPk56CPFxBLVbFp5b8HT4jySKBoDb1NJZp2JrNgwg2E/wzWlpLcV4VN/a2a4EwMM9 VvFIf/tXZV7wOMgtJIIj+4zEQvIISwZXzW1GGMjuD3lZB9PMTionGpn3XXGuQxx4C3czJ9h9f jp1nGu9j+w0ChiW4n6olvZ3rCKcIgcZ366QAHKYQV+E80juWvEXtdeWQ1VMGYiCKWu049mXV Received-SPF: pass client-ip=212.227.15.3; 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_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=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-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:21818 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Dmitry Alexandrov writes: > but explicitly documented in (info "(elisp) Dotted Pair Notation") as wel= l: > > #+begin_quote > As a somewhat peculiar side effect of =E2=80=98(a b . c)=E2=80=99 and = =E2=80=98(a . (b . c))=E2=80=99 > being equivalent, for consistency this means that if you replace =E2=80= =98b=E2=80=99 > here with the empty sequence, then it follows that =E2=80=98(a . c)=E2=80= =99 and =E2=80=98(a . ( > . c))=E2=80=99 are equivalent, too. This also means that =E2=80=98( . c)= =E2=80=99 is equivalent > to =E2=80=98c=E2=80=99, but this is seldom used. > #+end_quote Also this is what SRFI-119 / wisp generalizes to enable continuing the argument list in indentation-based Scheme without introducing additional syntax. In wisp, not only is =3D(equal? '(. wtf) 'wtf)=3D, but also equal? ' a b c ' : . a b c (a structure which is a syntax error in regular Scheme, so no ambiguity is introduced: =3D(equal? '(a b c) '((. a b c)))=3D =E2=87=92 missing close= paren: b) 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+sFAmRYAbAQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD65RKD/9Z1qFFikgq/kk7N6eUuYS1jgBb+qfODTyn H28yAXo1v0jiBbLw6KlDgJrMsRG/IZjSoLXZWZzzspIDurXEGnsHo8zh2AvFOo6I iw6cYTxbJA7GxMzypQbXI7lb7tyfXCKfXAgOeRxieHvLf8H0VpZTxExFwLahP2JL bASih4jfrBruvxKkp8rieaoBqy2kVBPASYjdY3pBBqCEK2zLcQ+EfmPkq9140EEy Oz0ikWi2HTakHW4KjFdk45JvN/53KDOY7LX7zcCj5HGPglsDPhnn8tX+NWLb8hWN mE4aAd+Qb7arXubMZm7W+XA8uy4KwJbueD9qCZv64lmp63TwLZQ8oawAMkHIyVkb eNnzSeegSj1cKqMVSe6XR5N+JFmxLskt+ya5FPNj6e2SJ+dLBu7Wht9IN1ZDQZ/h Y62/mYwHHw5nCAumWV6IPwIKV6rP1MJs58G9u4kWWjPc/rpJXRWv9kgwGvJAd+vP 40WLSle2llNIIJ8mkywAX8vyXSGJUlYRJqA4p5uKzXFwhDGbnQVG7wjEqHKvldsx wO7g8ZlvL265fsG2tJHCEJme5Xarvd/3geWPhVDwXqOJH6xrDXWBr24rEDqu4Dr+ 5ex5a1TULOGid+kZvfeiQGsoyv+EgnKPCXcalRl75HxmwL3mQYaedKxHX54ZEDdC dVWvfk387ojEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmRYAbAQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSG2XBACWTsRoryy2eKjyKcp86t3hS0qw KH9uERuEXzdFDv3BbwNAeEYCAto/40O8FdbGleCFSo9JnmGaEddBlVIe5IaueqQ4 /8JxKN7LME6rqs09qcgNf7KjWpOl9Vic+F2SScsb4Gj4DCkRrWVMR1YvRjB4630+ MZY74f/lpmc2cfTfdw== =8LIV -----END PGP SIGNATURE----- --=-=-=--