unofficial mirror of emacs-tangents@gnu.org
 help / color / mirror / Atom feed
From: Tassilo Horn <tsdh@gnu.org>
To: Jean Louis <bugs@gnu.support>
Cc: emacs-tangents@gnu.org
Subject: Re: (*) -> 1
Date: Fri, 20 Jan 2023 09:52:16 +0100	[thread overview]
Message-ID: <87edrplgee.fsf@gnu.org> (raw)
In-Reply-To: <Y8o9RuCqmq+/PUIB@protected.localdomain>

Jean Louis <bugs@gnu.support> writes:

>> Gosh, Jean, of course nobody would literally write (*) but (apply #'*
>> ...), and you'll find occurrences in emacs:
>
> That has been said that is not necessarily problem or reason. 

I don't understand that sentence.

> Did you see reference to PicoLisp?

Yes, and I think it's seriously wrong with

  : (+)
  -> NIL

where its docs say

  Returns the sum of all num arguments. When one of the arguments
  evaluates to NIL, it is returned immediately.

Well, in (+) there exists no argument evaluating to NIL and
mathematically, the sum of zero numbers is 0
(https://en.wikipedia.org/wiki/Empty_sum).  Same for the empty product
(*) which should be 1 (https://en.wikipedia.org/wiki/Empty_sum) but also
gives NIL in picolisp.

So why does it return NIL?  And why do you apparently consider that
useful?  And can something be useful even though it is incorrect?

Bye,
Tassilo



  reply	other threads:[~2023-01-20  8:52 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <Y8Y2JgamG+C2VxFw@protected.localdomain>
     [not found] ` <87y1q1kvdm.fsf@web.de>
     [not found]   ` <Y8bM7K8T9uMHdSRw@protected.localdomain>
     [not found]     ` <87h6wpkrlq.fsf@web.de>
     [not found]       ` <Y8bjItPWgBLLdR9s@protected.localdomain>
     [not found]         ` <87zgahj7h3.fsf@web.de>
     [not found]           ` <Y8fly8k72s+iVJYF@protected.localdomain>
     [not found]             ` <878rhzvs1h.fsf@web.de>
     [not found]               ` <Y8kAkHzCnCS35D8v@protected.localdomain>
     [not found]                 ` <87ilh28w9u.fsf@web.de>
2023-01-19 14:54                   ` (*) -> 1 Jean Louis
     [not found]                   ` <Y8lZmM1EQ+wShgt2@protected.localdomain>
     [not found]                     ` <87r0vqa67k.fsf@gnu.org>
2023-01-20  7:05                       ` Jean Louis
2023-01-20  8:52                         ` Tassilo Horn [this message]
2023-01-20 12:46                           ` Jean Louis
2023-01-20 13:02                             ` Tassilo Horn
2023-01-20 16:06                               ` Jean Louis
2023-01-21  8:19                                 ` Tassilo Horn
2023-01-22  4:30                                   ` Emanuel Berg
2023-01-22  6:55                                     ` Jean Louis
2023-01-22 10:56                                       ` Emanuel Berg
2023-01-23  3:40                                         ` [External] : " Drew Adams
2023-01-22 14:34                                     ` Akib Azmain Turja
2023-01-23  2:23                                       ` Emanuel Berg
2023-01-23  5:37                                       ` Jean Louis
2023-01-23  5:55                                       ` Jean Louis
2023-01-24  2:33                                         ` Emanuel Berg
     [not found]                   ` <SJ0PR10MB5488B34F22BFC45644C9C647F3C49@SJ0PR10MB5488.namprd10.prod.outlook.com>
2023-01-20  7:33                     ` [External] : " Jean Louis
     [not found] <87bkmxkpzg.fsf@web.de>
     [not found] ` <878ri1av5j.fsf@telefonica.net>
     [not found]   ` <87ilh4kgqo.fsf@web.de>
     [not found]     ` <87zgagakh5.fsf@telefonica.net>
     [not found]       ` <87cz7cka06.fsf@web.de>
     [not found]         ` <87v8l49t8w.fsf@telefonica.net>
     [not found]           ` <Y8evxjuR1YQWW10L@tuxteam.de>
     [not found]             ` <87h6wo9fjb.fsf@telefonica.net>
     [not found]               ` <87edrsufdd.fsf@web.de>
     [not found]                 ` <878ri09bsh.fsf@telefonica.net>
2023-01-19  8:37                   ` Jean Louis

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87edrplgee.fsf@gnu.org \
    --to=tsdh@gnu.org \
    --cc=bugs@gnu.support \
    --cc=emacs-tangents@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).