From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: newbie, Spark 2014 or Ada 2012
Date: Tue, 07 Jul 2015 15:56:17 -0700
Date: 2015-07-07T15:56:17-07:00 [thread overview]
Message-ID: <87pp438tm6.fsf@jester.gateway.sonic.net> (raw)
In-Reply-To: mnh6ua$avf$1@loke.gir.dk
"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.
next prev parent reply other threads:[~2015-07-07 22:56 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 [this message]
2015-07-08 19:50 ` Randy Brukardt
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