From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maxime Devos Newsgroups: gmane.lisp.guile.devel Subject: RE: Name of the standard library Date: Sat, 20 Jul 2024 18:55:51 +0200 Message-ID: <20240720185539.psve2C00A09gYMG06sveUw@michel.telenet-ops.be> References: <20240629002027.13853-1-richard@freakingpenguin.com> <87h6co21qv.fsf@laura> <87r0bsxpoe.fsf@web.de> <4d9d9c2e-0830-4267-b8e5-1a50cb815508@msavoritias.me> <87a5ifyd0g.fsf@web.de> <20240719104617.pLmG2C00D4SnA1G01LmG1n@andre.telenet-ops.be> <87wmlgkyix.fsf@web.de> <15398dda-cb3e-4195-b2f8-263a59a73c68@lassi.io> <20240720180131.ps1X2C0032eE65L06s1Xj4@michel.telenet-ops.be> <478d00f0-ed93-41ce-b94a-86c0a433528f@lassi.io> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="_F65D9F75-4CCE-4B16-93FB-1C009F224BF8_" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18926"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Greg Troxel , MSavoritias , "guile-devel@gnu.org" To: Lassi Kortela , "Dr. Arne Babenhauserheide" , Attila Lendvai Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Sat Jul 20 18:56:13 2024 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 1sVDNU-0004hC-S7 for guile-devel@m.gmane-mx.org; Sat, 20 Jul 2024 18:56:13 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVDNE-0008Lt-AC; Sat, 20 Jul 2024 12:55:56 -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 1sVDN2-0008Kj-8i for guile-devel@gnu.org; Sat, 20 Jul 2024 12:55:46 -0400 Original-Received: from michel.telenet-ops.be ([2a02:1800:110:4::f00:18]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sVDMz-00018K-Sc for guile-devel@gnu.org; Sat, 20 Jul 2024 12:55:44 -0400 Original-Received: from [IPv6:2a02:1811:8c0e:ef00:4549:d633:19b4:457e] ([IPv6:2a02:1811:8c0e:ef00:4549:d633:19b4:457e]) by michel.telenet-ops.be with bizsmtp id psve2C00A09gYMG06sveUw; Sat, 20 Jul 2024 18:55:39 +0200 Importance: normal X-Priority: 3 In-Reply-To: <478d00f0-ed93-41ce-b94a-86c0a433528f@lassi.io> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=telenet.be; s=r24; t=1721494539; bh=/rQzMl3V7HZ3hgNqE7hQOx5RIsGuuwVGckss5PMC1SE=; h=Message-ID:MIME-Version:To:Cc:From:Subject:Date:In-Reply-To: References:Content-Type:From; b=JbU5I5Txp2mZI5W9CjuiIEO/AWLtGcu3lDgxIQQLFJ4oQ2tKQ/RA7cRiDgXlDtSpR nj5Pea7YzZF2MA6D5oZSwbOVXCB7hLgYt+WxKiHO3mediI9PQLQMhDS4hKEvawyid+ WFPxs+Xwhq8gAhparEkrItS24NGaPE7rweap+Bk+95MlQhoaKeqVo+OkZDvq3puPqF qwdLIJ1qnyZoy9hc+W81V4+cC9I5ypMbVvlHnq9A++27gUD07ta+s46/RGKaToohHz Q5Rc/uFpCp/Ase3zkrycuFcEH8w0LVbp1cEjnun74CZwutp/rY3Kg1MXAY/FHj+A+F xsFBI0oJdJu5Q== Received-SPF: pass client-ip=2a02:1800:110:4::f00:18; envelope-from=maximedevos@telenet.be; helo=michel.telenet-ops.be 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, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, 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:22610 Archived-At: --_F65D9F75-4CCE-4B16-93FB-1C009F224BF8_ Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" >> Why wouldn=E2=80=99t this smart newbie learn more? >Many things are competing for his time. That=E2=80=99s always the case. What I meant was, what reason would this sm= art newbie have to not learn more that has to do with the statement =E2=80= =9Cthe standard library of Guile is name ice-9=E2=80=9D? > I mean, in an alternate=20 > universe, the CIPM and or their predecessors might have liked soccer=20 > (cf. Ice-9) very much and called the unit of mass the =E2=80=98football= =E2=80=99 instead=20 > of the =E2=80=98(kilo)gram=E2=80=99. In that universe, =E2=80=9Cthe unit = of mass is called=20 > footballs=E2=80=9D would be a perfectly reasonable sentence (not a non-se= quitur)=20 > that doesn=E2=80=99t prevent (SI) measurement newbies from learning more = about=20 > the other SI units =E2=80=93 the units don=E2=80=99t need to share a name= with SI. >While reality is indeed a fiction, it is a shared fiction. That's why=20 the list type is "list", the unit of mass is "kilogram", etc. >Alternate universes are a distinct hobby. In programming, that hobby is=20 represented by esoteric languages. Yes, and in this alternate universe, the shared fiction would be naming the= unit of mass the =E2=80=98football=E2=80=99. This alternate universe illus= trates that a name can simply be name (even when it also is other things). = That alternate universes are a hobby doesn=E2=80=99t prevent them from bein= g illustrative. Best regards, Maxime Devos. --_F65D9F75-4CCE-4B16-93FB-1C009F224BF8_ Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="utf-8"

>&= gt; Why wouldn=E2=80=99t this smart newbie learn more?

>Many things are competing for his time.

 

That=E2=80=99s always the case. What= I meant was, what reason would this smart newbie have to not learn more th= at has to do with the statement =E2=80=9Cthe standard library of Guile is n= ame ice-9=E2=80=9D?

 

> I mean, in an alternate

> uni= verse, the CIPM and or their predecessors might have liked soccer

> (cf. Ice-9) very much and called the unit of mass the = =E2=80=98football=E2=80=99 instead

> of the =E2= =80=98(kilo)gram=E2=80=99. In that universe, =E2=80=9Cthe unit of mass is c= alled

> footballs=E2=80=9D would be a perfectly= reasonable sentence (not a non-sequitur)

> tha= t doesn=E2=80=99t prevent (SI) measurement newbies from learning more about=

> the other SI units =E2=80=93 the units don= =E2=80=99t need to share a name with SI.

 = ;

>While reality is indeed a fiction, it i= s a shared fiction. That's why

the list type is &q= uot;list", the unit of mass is "kilogram", etc.

 

>Alternate univer= ses are a distinct hobby. In programming, that hobby is

represented by esoteric languages.

 = ;

Yes, and in this alternate universe, the sh= ared fiction would be naming the unit of mass the =E2=80=98football=E2=80= =99. This alternate universe illustrates that a name can simply be name (ev= en when it also is other things). That alternate universes are a hobby does= n=E2=80=99t prevent them from being illustrative.

<= o:p> 

Best regards,

Maxime Devos.

= --_F65D9F75-4CCE-4B16-93FB-1C009F224BF8_--