Re: Informal discussion: comp.lang.rust?

From	cross@spitfire.i.gajendra.net (Dan Cross)
Newsgroups	comp.programming
Subject	Re: Informal discussion: comp.lang.rust?
Date	2025-07-29 12:27 +0000
Organization	PANIX Public Access Internet and UNIX, NYC
Message-ID	<106aen9$cio$1@reader1.panix.com> (permalink)
References	<vqmi1p$f1f$1@reader1.panix.com> <1067o6p$24rjd$2@dont-email.me> <106847g$33e$1@reader1.panix.com> <1069ltn$2ffpl$1@dont-email.me>

Show all headers | View raw

In article <1069ltn$2ffpl$1@dont-email.me>,
Richard Heathfield  <rjh@cpax.org.uk> wrote:
>On 28/07/2025 16:16, Dan Cross wrote:
>> Does this mean that the language is perfect, and will prevent
>> all bugs?  No, of course not; it's not magic.  But this line of
>> reasoning that says, "well, you can still have bugs, so what's
>> the point?" inevitably ignores the relative rate of those bugs
>> between languages, which does matter.  It's the same argument
>> that says, "you can still die in a car crash, so we don't need
>> seatbelts or airbags."  Yet all available data shows that those
>> things _do_ in fact save lives.
>
>Whilst you are unlikely ever to catch me within a light year of 
>Rust, I do agree with your substantive point - that amagicality 
>is not a good reason to reject a programming technology.

Agreed.

>I must, however, take issue with your word 'all' in your last 
>sentence. To invalidate it only takes one death caused by a 
>seatbelt that prevents a wearer from escaping a fatal crash (eg 
>burning or drowning).

I can see why you might interpret it that way, but I'm not sure
your conclusion actually follows from my statement.  "All data
shows that those things _do_ in fact save lives" doesn't imply
that no lives are lost, even when restraint harnesses, flash
suits, and so on are used.  Nor does it imply that no one ever
died because, say, the restraint harness resulted in suspension
trauma or something.  Rather, taken in context, it simply means
that when used, more lives are saved relative to when not used.
"It always rains on Tuesday" doesn't say anything at all about
whether it rains on Wednesday or not.

Regardless, clearly there is some ambiguity here, so a tighter
statement is warranted.  How about, "available data shows that
with proper use of restraint harnesses and flash suits, drivers
survive more crashes than when those things are not used." ?

Similarly, available data shows that programs written in the
safe subset of Rust have significantly lower memory-related
defect rates than those same programs written in C.

	- Dan C.

Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-03-10 07:46 -0400
  Re: Informal discussion: comp.lang.rust? Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-03-10 07:14 -0700
    Re: Informal discussion: comp.lang.rust? Richard Harnden <richard.nospam@gmail.invalid> - 2025-03-10 16:42 +0000
      Re: Informal discussion: comp.lang.rust? c186282 <c186282@nnada.net> - 2025-06-18 02:51 -0400
        Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-28 11:37 +0000
          Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-07-28 13:50 +0200
            Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-28 15:16 +0000
              Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-07-28 17:59 +0200
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-28 22:18 +0000
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-07-29 10:18 +0200
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-29 12:16 +0000
                Re: Informal discussion: comp.lang.rust? David Brown <david.brown@hesbynett.no> - 2025-07-29 17:37 +0200
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-07-29 18:24 +0200
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-07-29 19:14 +0200
                Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-29 18:27 +0000
                Re: Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) David Brown <david.brown@hesbynett.no> - 2025-08-02 17:47 +0200
                Re: Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) cross@spitfire.i.gajendra.net (Dan Cross) - 2025-08-04 22:33 +0000
                Re: Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) David Brown <david.brown@hesbynett.no> - 2025-08-06 18:38 +0200
                Re: Rust vs Hype (was Re: Informal discussion: comp.lang.rust?) cross@spitfire.i.gajendra.net (Dan Cross) - 2025-08-08 03:30 +0000
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-07-30 19:08 +0200
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-30 18:00 +0000
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-07-30 20:34 +0200
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-30 18:40 +0000
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-07-30 20:51 +0200
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-30 18:53 +0000
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-09-05 10:59 +0200
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-08-03 17:55 +0200
                Re: Informal discussion: comp.lang.rust? Julio Di Egidio <julio@diegidio.name> - 2025-08-03 18:17 +0200
              Re: Informal discussion: comp.lang.rust? Richard Heathfield <rjh@cpax.org.uk> - 2025-07-29 06:24 +0100
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-29 12:27 +0000
                Re: Informal discussion: comp.lang.rust? Richard Heathfield <rjh@cpax.org.uk> - 2025-07-30 07:44 +0100
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-30 11:30 +0000
                Re: Informal discussion: comp.lang.rust? Richard Heathfield <rjh@cpax.org.uk> - 2025-07-30 16:51 +0100
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-07-30 18:00 +0000
                Re: Informal discussion: comp.lang.rust? David Brown <david.brown@hesbynett.no> - 2025-08-02 18:41 +0200
                Re: Informal discussion: comp.lang.rust? cross@spitfire.i.gajendra.net (Dan Cross) - 2025-08-04 22:34 +0000
  Re: Informal discussion: comp.lang.rust? Kaz Kylheku <643-408-1753@kylheku.com> - 2025-03-10 17:35 -0400

csiph-web