Re: (*) -> 1

[Jean Louis]

* Michael Heerdegen <michael_heerdegen@web.de> [2023-01-17 20:20]:
> Jean Louis <bugs@gnu.support> writes:
> 
> > Every elementary school is there to prove that convention of having at
> > least two addends for addition and two factors for multiplication
> > exists.
> 
> Ok...
> 
> My neighbor has one garage with 2 Ferraris.  Altogether he has (+ 2) ==>
> 2 Ferraris.  Not an undefined number of Ferraris.  So you see that
> extending the sum operator to one summand is natural and makes sense.
> 
> I OTOH have no garage.  The number of my Ferraris in all my garages is
> (+) -> 0 Ferraries.

Don't add Ferraris, just multiply them and you will get one.

-- 
Jean

Take action in Free Software Foundation campaigns:
https://www.fsf.org/campaigns

In support of Richard M. Stallman
https://stallmansupport.org/