Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ichbiah 2022 compiler mode
Date: Fri, 6 Sep 2024 00:58:05 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <vbdk2t$hj0r$6@dont-email.me>
References: <vbc625$at65$1@dont-email.me> <vbdgs7$hedr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 06 Sep 2024 02:58:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="52cdf5b83a21d9c99d3753754a9933f5";
	logging-data="576539"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX189xBjASYnVWWdk/msb89fI"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:mrseabEo0aDo1Ujn9FQGXzQVbW8=
Bytes: 1702

On Thu, 5 Sep 2024 19:03:22 -0500, Randy Brukardt wrote:

> Keyword "variable" is needed to declare variables (we do not want the
> worst option to be the easiest to write, as it is in Ada).

One language idea I toyed with years ago was that

    «name» : «type»;

declared a variable, while

    «name» : «type» := «value»;

declared a constant. So, no initialization of variables at declaration 
time allowed.

> (10) Variable-returning functions are introduced.

Is this like updater functions in POP-11, or “setf” in Lisp? So you have a 
procedure

    set_var(«var», «new value»)

which is declared to be attached to «var» in some way, such that when you 
write

    «var» := «new_value»

this automatically invokes set_var?