From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups: comp.lang.ada
Subject: Re: Java and Python have just discovered "record" type finally after 40 years.
Date: Mon, 15 May 2023 02:11:55 +0100
Organization: A noiseless patient Spider
Message-ID: <87353ys8is.fsf@bsb.me.uk>
References: <u3lu8o$1p3li$1@dont-email.me> <u3mbc2$1oo9l$1@dont-email.me>
	<kc8rkiF3313U1@mid.individual.net> <u3nrlc$236lb$1@dont-email.me>
	<kc9tkpF7hnhU1@mid.individual.net> <u3q03n$2iba1$1@dont-email.me>
	<u3qdo6$2joho$1@dont-email.me> <878rdrrlly.fsf@bsb.me.uk>
	<u3r3rr$2k5j4$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Injection-Info: dont-email.me; posting-host="57d1eb8e1efc47dede9fba8711cd5249";
	logging-data="2927614"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18vyvj+vzAiLFkIxBdVWUDSlRrDvr1ZMXs="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
Cancel-Lock: sha1:sbgI7ToCES77/lnVW1clWUOXKR4=
	sha1:lF9pSuN7or6M3L2b6Fw3saMUxqw=
X-BSB-Auth: 1.9e0b92eaf0301932b9e1.20230515021155BST.87353ys8is.fsf@bsb.me.uk
Xref: news.eternal-september.org comp.lang.ada:65238
List-Id: <comp.lang.ada>

"Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:

> On 2023-05-14 17:14, Ben Bacarisse wrote:
>> I never saw a LISP S-expressions defined that way.  Did this list really
>> no have a "dotted pair" as the basic structure with lists being simply a
>> special case?
>
> The book I learned from (/Let's Talk LISP/ by Laurent Siklóssy, 1976)
> introduces dotted pairs in chapter 10.7.1 (out of 12 chapters) on page 145
> (out of 213, excluding appendices and index). Chapter 10 deals with the
> internal representation of data in LISP. The implication is that they were
> not considered part of the normal use of the language.

Do you still have it?  Does is discuss association lists?  I'd call them
a normal part of LISP and it would be odd to force the associations to
be lists rather than pairs.  Does Siklóssy imply that an ASSOC list is a
list of lists of length 2, or does he not discuss them until the very
end?

> S-expressions, on the other hand, are introduced in chapter 1.1 on page
> 2. The book also presents the grammar
>
> S-expression ::= atom | list
> list ::= '(' inside ')'
> inside ::= empty | S-expression | S-expression inside
> empty ::=

That's an interesting way to simplify things for the leaner though I
would not have chosen to use a term that already had another meaning by
1976.  The author could have used something like L-expression and
avoided any future confusion.

-- 
Ben.