Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Janis Papanagnou <janis_papanagnou+ng@hotmail.com>
Newsgroups: comp.lang.c
Subject: Re: Whaddaya think?
Date: Sun, 16 Jun 2024 17:13:29 +0200
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <v4mveq$3q22$1@dont-email.me>
References: <666ded36$0$958$882e4bbb@reader.netnews.com>
 <20240616015649.000051a0@yahoo.com> <v4lm16$3s87h$4@dont-email.me>
 <v4lmso$3sl7n$1@dont-email.me> <v4lr0m$3tbpj$1@dont-email.me>
 <8734pd4g3s.fsf@nosuchdomain.example.com> <v4ltuj$3trj2$1@dont-email.me>
 <87y17530a0.fsf@nosuchdomain.example.com> <v4mb92$3ak$1@dont-email.me>
 <v4mut7$3lr2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 16 Jun 2024 17:13:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="567efb17d94aca7729125b64ceeb67a7";
	logging-data="124994"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/mhuamypXk6H6TACiYHj0W"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
Cancel-Lock: sha1:+tTgfQLSyxoMLe+6ihUY9dLOeWM=
In-Reply-To: <v4mut7$3lr2$1@dont-email.me>
X-Enigmail-Draft-Status: N1110
Bytes: 2031

On 16.06.2024 17:04, Malcolm McLean wrote:
>>
> And is a mapping of every input to the empty set a "function" or not? I
> think it is but mathematicians might weigh in on that.

I'm well aware that there's a semantical distinction of "procedures"
and "functions". And there's differences how languages consider these.
In "C" I've learned that basically "everything is a function", even
if they don't return anything, of if they do but the result ignored.
In other languages these two types are called 'procedure' and '<type>
procedure'. It might indeed be a source for religious disputes as so
many things in IT/CS and elsewhere. I think it's not worth the time.

Janis