Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.arch
Subject: Re: Segments
Date: Tue, 14 Jan 2025 17:46:14 -0800
Organization: None to speak of
Lines: 20
Message-ID: <87cygo97dl.fsf@nosuchdomain.example.com>
References: <vdlgl9$3kq50$2@dont-email.me> <vdtmv9$16lu8$1@dont-email.me>
	<2024Oct6.150415@mips.complang.tuwien.ac.at>
	<vl7m2b$6iat$1@paganini.bofh.team>
	<2025Jan3.093849@mips.complang.tuwien.ac.at>
	<vlcddh$j2gr$1@paganini.bofh.team>
	<2025Jan5.121028@mips.complang.tuwien.ac.at>
	<vleuou$rv85$1@paganini.bofh.team>
	<ndamnjpnt8pkllatkdgq9qn2turaao1f0a@4ax.com>
	<2025Jan6.092443@mips.complang.tuwien.ac.at>
	<vlgreu$1lsr9$1@dont-email.me> <vlhjtm$1qrs5$1@dont-email.me>
	<bdZeP.23664$Hfb1.16566@fx46.iad> <vlj1pg$25p0e$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Wed, 15 Jan 2025 02:46:15 +0100 (CET)
Injection-Info: dont-email.me; posting-host="e8edcbbdaebfe3f775cad9f5d43cf78d";
	logging-data="2791746"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+yZOeccQnPYQ7egrwShw5+"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:sDA4T/07chaqsZc0TDwL4jYLmJg=
	sha1:HGm+RTsIaQ0sn0vTShPVe1XZW24=
Bytes: 2185

Thomas Koenig <tkoenig@netcologne.de> writes:
[...]
> CHERY targets C, which on the one hand, I understand (there's a
> ton of C code out there), but trying to retrofit a safe memory
> model onto C seems a bit awkward - it might have been better to
> target a language which has arrays in the first place, unlike C.
[...]

C does have arrays.

Admittedly its handling of them is odd and low-level.  For example,
there are no parameters of array type, and most array manipulation code
works with a pointer to the initial element, with no built-in way to
specify the number of elements.

Suggested reading: https://www.c-faq.com/ section 6.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */