Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Thomas Koenig <tkoenig@netcologne.de>
Newsgroups: comp.arch
Subject: Re: Computer architects leaving Intel...
Date: Tue, 3 Sep 2024 20:05:14 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <vb7q5q$3f6cg$1@dont-email.me>
References: <2024Aug30.161204@mips.complang.tuwien.ac.at>
 <memo.20240830164247.19028y@jgd.cix.co.uk> <vasruo$id3b$1@dont-email.me>
 <2024Aug30.195831@mips.complang.tuwien.ac.at> <vat5ap$jthk$2@dont-email.me>
 <vaunhb$vckc$1@dont-email.me> <vautmu$vr5r$1@dont-email.me>
 <2024Aug31.170347@mips.complang.tuwien.ac.at>
 <vavpnh$13tj0$2@dont-email.me> <vb00c2$150ia$1@dont-email.me>
 <505954890d8461c1f4082b1beecd453c@www.novabbs.org>
 <vb0kh2$12ukk$1@dont-email.me> <vb3smg$1ta6s$1@dont-email.me>
 <vb4q5o$12ukk$3@dont-email.me> <vb6a16$38aj5$1@dont-email.me>
 <jwv8qw8o7zg.fsf-monnier+comp.arch@gnu.org>
Injection-Date: Tue, 03 Sep 2024 22:05:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="37f88d6edce50b24dbc5f7c525895892";
	logging-data="3643792"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19+Emf+q/KkZYhF84wHRwG0IVoH9hrdN7I="
User-Agent: slrn/1.0.3 (Linux)
Cancel-Lock: sha1:pOu06W3O/IDkWgGziAJ6qdcjEBc=
Bytes: 2217

Stefan Monnier <monnier@iro.umontreal.ca> schrieb:
>> My impression - based on hearsay for Rust as I have no experience - is that
>> the key point of Rust is memory "safety".  I use scare-quotes here, since it
>> is simply about correct use of dynamic memory and buffers.
>>
>> It is entirely possible to have correct use of memory in C,
>
> If you look at the evolution of programming languages, "higher-level"
> doesn't mean "you can do more stuff".  On the contrary, making
> a language "higher-level" means deciding what it is we want to make
> harder or even impossible.

Really?

I thought Fortran was higher level than C, and you can do a lot
more things in Fortran than in C.

Or rather, Fortran allows you to do things which are possible,
but very cumbersome, in C.  Both are Turing complete, after all.