comp.lang.ada
 help / color / mirror / Atom feed
From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: meaningfully/compellingly "advertising" Ada on StackOverflow
Date: Thu, 17 May 2018 21:37:22 -0700
Date: 2018-05-17T21:37:22-07:00	[thread overview]
Message-ID: <87bmddshod.fsf@nightsong.com> (raw)
In-Reply-To: 300fd624-72a0-4171-90dc-49ad5df4fa21@googlegroups.com

Lucretia <laguest9000@googlemail.com> writes:
> You don't get the point I made. That "benchmark" is to see how fast
> different languages go using the same algorithm, without using any
> safety features. If you hobble Ada by including them, you will make
> people think it's really slow. It's not about the safety features. Do
> you get it now?

No.  The Python and Haskell programs are slow because Python and Haskell
also have safety features.  The data signals the right conclusion: C is
dangerous and fast, while Python and Haskell are safe and slow.  A
completely standard cost-benefit tradeoff.  As a user I appreciate being
presented with this info so I can make an informed choice.

Ada's reason for existence revolves around safety.  The benchmarks with
the safety checks off are useless from my perspective as a C programmer.
If I want to write fast dangerous code I already have C for that.  If I
look at Ada at all, it's for the purpose of writing safe code.

So I care primarily about the speed of the safe version (in part so I
can compare it with Python and Haskell).  The unsafe version is just C
with bloated syntax and I'm content to keep using C instead.

I like Dan'l Miller's suggestion of having two Ada benchmarks, giving
both the safe and unsafe measurements.  Then people can decide what's
relevant to their own requirements.  Giving just the unsafe measurements
is uninformative or maybe even misleading.


  parent reply	other threads:[~2018-05-18  4:37 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-05-16 14:27 meaningfully/compellingly “advertising” Ada on StackOverflow Dan'l Miller
2018-05-16 14:35 ` Lucretia
2018-05-16 15:06   ` Dan'l Miller
2018-05-16 22:48     ` Mehdi Saada
2018-05-17  2:46 ` John Perry
2018-05-17  2:49   ` John Perry
2018-05-17 21:25     ` meaningfully/compellingly "advertising" " Randy Brukardt
2018-05-17 23:27       ` Luke A. Guest
2018-05-18  1:22         ` Paul Rubin
2018-05-18  2:28           ` Dan'l Miller
2018-05-18  2:59             ` Lucretia
2018-05-18  2:57           ` Lucretia
2018-05-18  4:25             ` John Perry
2018-05-18  4:38               ` Paul Rubin
2018-05-18 15:39                 ` John Perry
2018-05-18 15:48                   ` John Perry
2018-05-18 20:49                     ` Randy Brukardt
2018-05-18 20:47                   ` Randy Brukardt
2018-05-18  4:37             ` Paul Rubin [this message]
2018-05-18 10:44               ` Lucretia
2018-05-20  7:54                 ` Paul Rubin
2018-05-18 11:17               ` Ben Bacarisse
2018-05-18 20:42         ` Randy Brukardt
2018-05-18  4:22       ` John Perry
2018-05-18 20:52         ` Randy Brukardt
2018-05-18 11:10       ` Simon Wright
2018-05-18 15:43 ` meaningfully/compellingly “advertising” " John Perry
2018-05-18 16:40   ` Dan'l Miller
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox