From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: newbie, Spark 2014 or Ada 2012
Date: Wed, 8 Jul 2015 14:50:46 -0500
Date: 2015-07-08T14:50:46-05:00 [thread overview]
Message-ID: <mnjuum$it2$1@loke.gir.dk> (raw)
In-Reply-To: 87pp438tm6.fsf@jester.gateway.sonic.net
"Paul Rubin" <no.email@nospam.invalid> wrote in message
news:87pp438tm6.fsf@jester.gateway.sonic.net...
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>> One could argue that if the use of a separate tool is needed to make
>> the use of a language sensible, there's something wrong with the
>> language design. (After all, why isn't that tool part of the
>> compiler?)
>
> You could say the same thing about SPARK.
I would! I'm not at all a fan of SPARK. It solves a problem in a way that is
only useful for an elite few. I want to solve problems for all programmers
(at least those that are willing to use Ada!).
Randy.
next prev parent reply other threads:[~2015-07-08 19:50 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-06 0:28 newbie, Spark 2014 or Ada 2012 nomadlite
2015-07-06 1:30 ` Paul Rubin
2015-07-06 7:04 ` nomadfate
2015-07-06 7:20 ` Paul Rubin
2015-07-06 7:50 ` Jacob Sparre Andersen
2015-07-06 18:44 ` Jeffrey R. Carter
2015-07-06 9:34 ` Björn Lundin
2015-07-06 16:19 ` Paul Rubin
2015-07-06 22:37 ` Björn Lundin
2015-07-07 1:30 ` Paul Rubin
2015-07-07 9:35 ` darkestkhan
2015-07-07 17:26 ` David Botton
2015-07-07 3:46 ` Nasser M. Abbasi
2015-07-07 8:24 ` Björn Lundin
2015-07-07 8:57 ` Georg Bauhaus
2015-07-07 18:48 ` Randy Brukardt
2015-07-07 22:56 ` Paul Rubin
2015-07-08 19:50 ` Randy Brukardt [this message]
2015-07-08 22:57 ` Paul Rubin
2015-07-09 17:59 ` Björn Lundin
2015-07-09 20:10 ` Paul Rubin
2015-07-09 20:22 ` Jeffrey R. Carter
2015-07-09 20:41 ` Paul Rubin
2015-07-09 21:59 ` Jeffrey R. Carter
2015-07-09 22:37 ` Paul Rubin
2015-07-09 22:55 ` Jeffrey R. Carter
2015-07-09 23:25 ` Paul Rubin
2015-07-10 22:12 ` Randy Brukardt
2015-07-06 19:20 ` David Botton
2015-07-06 2:16 ` David Botton
2015-07-06 6:56 ` nomadfate
2015-07-06 19:18 ` David Botton
2015-07-10 22:49 ` nomadfate
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox