Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Janis Papanagnou Newsgroups: comp.lang.c Subject: Re: Recursion, Yo Date: Mon, 22 Apr 2024 18:06:53 +0200 Organization: A noiseless patient Spider Lines: 31 Message-ID: References: <_zSRN.161297$m4d.144795@fx43.iad> <20240411075825.30@kylheku.com> <8734roqmdb.fsf@bsb.me.uk> <878r1epo2i.fsf@bsb.me.uk> <87edb3or0t.fsf@bsb.me.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Date: Mon, 22 Apr 2024 18:06:55 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5492f75596a1ee4239db8141dfcdd80d"; logging-data="1104244"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18ai97CydS3squ6JTmM1g0B" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 Cancel-Lock: sha1:QDWFDDWZAynrHNIPNFkofn8bR6Y= X-Enigmail-Draft-Status: N1110 In-Reply-To: Bytes: 2981 On 18.04.2024 00:12, Lawrence D'Oliveiro wrote: > On Wed, 17 Apr 2024 18:09:06 +0100, Ben Bacarisse wrote: > >> Lawrence D'Oliveiro writes: >> >>> On Mon, 15 Apr 2024 17:50:45 +0100, Ben Bacarisse wrote: >>> >>>> Algol 68 has no denotation for the empty value. >>> >>> Section 8.1.5.1 of the Revised Report: >>> >>> void denotation : empty symbol. >> >> Thanks. If I had ever known that, I had forgotten. It's almost never >> used because values are coerced to void all the contexts where it might >> be otherwise required. I'm pretty sure I've never written it. > > I also did a quick test in a68g that “BEGIN EMPTY END” is a valid program > (at least compiles without errors). But the last time I posted such a > thing, someone claimed that a68g was not necessarily a fully conforming > Algol 68 implementation ... I don't see why it shouldn't be valid program; I mean you can write programs like "BEGIN END", "BEGIN EMPTY END", "BEGIN SKIP END", "BEGIN NIL END", "BEGIN 3.14 END", or, "BEGIN 42 END". I wouldn't expect that these do anything; only in the latter cases I'd at least see a point in returning that value to the environment (which isn't done, though, with the Genie compiler). Janis