From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Hans_=C3=85berg?= Newsgroups: gmane.lisp.guile.devel Subject: Re: Unicode procedure names Date: Tue, 16 Jul 2019 14:51:19 +0200 Message-ID: References: <98be61278a0887f6bcfff91d22cc8e30bba9d68a.camel@posteo.cz> <87y30zgfuc.fsf@elephly.net> <8736j6g8jc.fsf@web.de> <87v9w2gnj6.fsf@elephly.net> Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="228125"; mail-complaints-to="usenet@blaine.gmane.org" Cc: Tirifto , Arne Babenhauserheide , guile-devel@gnu.org To: Ricardo Wurmus Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Jul 16 14:51:34 2019 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hnMvZ-000x5I-0b for guile-devel@m.gmane.org; Tue, 16 Jul 2019 14:51:29 +0200 Original-Received: from localhost ([::1]:48486 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hnMvY-0004Lf-0c for guile-devel@m.gmane.org; Tue, 16 Jul 2019 08:51:28 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38392) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hnMvW-0004L3-4F for guile-devel@gnu.org; Tue, 16 Jul 2019 08:51:26 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hnMvV-0005Ez-4g for guile-devel@gnu.org; Tue, 16 Jul 2019 08:51:26 -0400 Original-Received: from v-smtpout2.han.skanova.net ([81.236.60.155]:35803) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hnMvU-00059o-TF for guile-devel@gnu.org; Tue, 16 Jul 2019 08:51:25 -0400 Original-Received: from [10.0.1.8] ([90.227.203.185]) by cmsmtp with ESMTPA id nMvPhLK1AUYHfnMvPhZXvY; Tue, 16 Jul 2019 14:51:20 +0200 In-Reply-To: <87v9w2gnj6.fsf@elephly.net> X-Mailer: Apple Mail (2.3445.104.11) X-CMAE-Envelope: MS4wfJEvg9NR5op/gGhRZmbRexyaEM/zyXYQiVADJEyXkPHDr4srWUJOIeTEykuChZyBCJBe66tnvq1Ooe7GttJA0PyGpz7Ccm3iV9AHYWSU+8yMNhyB/zWx d3y0d/+j+i0j+jlzWg5RjExnyhm2kKsDHSK56H6ToQfSP86/Sc1uDIW2UAFDtXGUcPq0EO7hjdmdEYn1W8G7hy53KPq1q7mc59HblWvy1+oQk/UmNmNlZSjt FUC/y7GQOKt9UJZn/w7JSA== X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 81.236.60.155 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.23 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.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.org gmane.lisp.guile.devel:20010 Archived-At: > On 16 Jul 2019, at 14:41, Ricardo Wurmus wrote: >=20 > Arne Babenhauserheide writes: >=20 >>>> Now, I don't know if this is something you think would be nice to = have >>>> baked into Guile, but I really liked the idea, and thought to share = it >>>> in the case you would, too (and have't thought of it yet). :) >>>=20 >>> I think this could be implemented as a library of aliase and thus >>> wouldn=E2=80=99t need to have any privileged access to Guile itself. >>=20 >> All you need to do is >>=20 >> (define =E2=89=A5 >=3D) >=20 > Yes, that=E2=80=99s what I had in mind. A whole bunch of these = aliases could be > distributed as a tiny library. I have used such symbols for math for some time now, and I think it = helps readability. The quickest input method that I have found, both to create and use, is = text substitutions, like Emacs abbrevs, though I use a MacOS service.