From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jean Louis Newsgroups: gmane.emacs.help Subject: Re: (*) -> 1 Date: Thu, 19 Jan 2023 11:20:52 +0300 Message-ID: References: <87y1q1kvdm.fsf@web.de> <87h6wpkrlq.fsf@web.de> <87zgahj7h3.fsf@web.de> <87k01kufox.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="40552"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mutt/2.2.9+54 (af2080d) (2022-11-21) Cc: help-gnu-emacs@gnu.org To: Michael Heerdegen Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Thu Jan 19 10:57:05 2023 Return-path: Envelope-to: geh-help-gnu-emacs@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 1pIRfN-000AMm-5j for geh-help-gnu-emacs@m.gmane-mx.org; Thu, 19 Jan 2023 10:57:05 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pIQtc-0000hA-9a; Thu, 19 Jan 2023 04:07:44 -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 1pIQtV-0000eU-W2 for help-gnu-emacs@gnu.org; Thu, 19 Jan 2023 04:07:38 -0500 Original-Received: from stw1.rcdrun.com ([217.170.207.13]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pIQtU-0003YL-8m for help-gnu-emacs@gnu.org; Thu, 19 Jan 2023 04:07:37 -0500 Original-Received: from localhost ([::ffff:197.239.7.243]) (AUTH: PLAIN admin, TLS: TLS1.3,256bits,ECDHE_RSA_AES_256_GCM_SHA384) by stw1.rcdrun.com with ESMTPSA id 000000000010394D.0000000063C90855.00002415; Thu, 19 Jan 2023 02:07:32 -0700 Mail-Followup-To: Michael Heerdegen , help-gnu-emacs@gnu.org Content-Disposition: inline In-Reply-To: <87k01kufox.fsf@web.de> Received-SPF: pass client-ip=217.170.207.13; envelope-from=bugs@gnu.support; helo=stw1.rcdrun.com X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_SBL=0.141, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.help:142387 Archived-At: * Michael Heerdegen [2023-01-18 16:39]: > Jean Louis writes: > > > I can't see that 1 is nothing for produts, but I understand what you > > wish to say. > > > > If (*) ➜ 1 is "nothing", adding three "nothing" yields with 3: > > > > (+ (*) (*) (*)) ➜ 3 > You are still victim of a thinking error: you only think of counts of > things, counts of cars, etc. But you can only _add_ counts of things, it > makes no sense to multiply counts of things. I am not the one trying to explain things. I look only at functions like: (+ (*) (*) (*)) ➜ 3 which do not result that mathematically shall be sum of three multiplications. It is error in programming language. Without trying to explain it, provide Lisp function where it is actually useful. Or otherwise, the research has shown so far: 1. nobody knows why is it useful in Lisp 2. various hypothesis have been tried out and tested. All with the attempt to justify how (*) ➜ 1 should be there, but none can find reason for (1), see aove. 3. there is no to me known piece of Emacs Lisp that would raise error if function `*' would be made to require two arguments, as this point (3) would lead to probable understanding of it. and 4. Function makes something out of nothing instead of raising error: (+ (*) (*) (*)) ➜ 3 > Saying "I have no cars in my garage, but (*) ==> 1, so where is that car > out of nothing?" Joke? It was joke. > The following will be my last examples. > > What kind of stuff in the real world could be multiply? Maybe > multiplication rates of money? World examples are not object I am searching. I am searching how to use (*) ➜ 1 in Lisp, and if there is no use, there is more use in raising the error, then for capricious reasons of set theory lovers spiting 1 as a result of multiplication of nothing. I really don't mind of various mathematical theories, there are many, but irrelevant stuff shall not be injected into simple multiplication. So far you cannot tell me how is (*) ➜ 1 relevant for programmer, that is what I am asking. Other stories in the world are only funny or interesting, they do not help with Lisp. > > Otherwise I don't know. Do you know use case for (concat)? > > Well, invent some, I think you are able to. We have to stop here or > people get angry, this discussion has diverged away from Emacs. Aha, the final conclusion is "it is there (*) ➜ 1" and please "don't talk" or "Gods will get angry". > > Or was it the reason that it was maybe copied from C language which I > > do not know, and which maybe got much more use of functions which > > yield 1 for multiplication without any elements? > > No, none of that. We are actually speaking about elementary maths, and > this is a useful handling of a corner case. And instead of all of explanations, how about showing me how is it useful? I have shown how it is not useful: (+ (*) (*) (*)) ➜ 3 Where is example of how it is useful? -- Jean Take action in Free Software Foundation campaigns: https://www.fsf.org/campaigns In support of Richard M. Stallman https://stallmansupport.org/