From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Gnat GPL 2010 available soon (conditional expressions)
Date: Mon, 28 Jun 2010 19:04:03 +0200
Date: 2010-06-28T19:04:03+02:00 [thread overview]
Message-ID: <4c28d603$0$6878$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <d02s9smqg04g$.7u9c7j8gs56m.dlg@40tude.net>
On 28.06.10 18:36, Dmitry A. Kazakov wrote:
> On Mon, 28 Jun 2010 16:47:50 +0200, Georg Bauhaus wrote:
>
>> On 29.06.10 16:08, Dmitry A. Kazakov wrote:
>>
>>>> The use of conditional expressions in "normal" code is optional (I
>>>> think) but I can see that once you add them to the language, forbidding
>>>> them from normal code would seem oddly inconsistent.
>>>
>>> Yes. This is exactly same as anonymous access types and other "workaround"
>>> things. Once you let them in, they won't leave.
>>
>> Conditional expressions will not be everywhere if your project uses
>> a source code analysis tool with suitable settings.
>
> The only code analysis tool is the compiler, otherwise the language is to
> be fixed.
Or let industry decide which Ada language profiles they would like
standardized.
A language profile such as the subset of Ada defined by SPARK,
with recursion and named pointers added. Maybe including generics
with formal types only.
next prev parent reply other threads:[~2010-06-28 17:04 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-16 20:14 Gnat GPL 2010 available soon Stephen Sangwine
2010-06-16 21:24 ` Martin
2010-06-16 21:35 ` Simon Wright
2010-06-18 19:48 ` Albrecht Käfer
2010-06-26 12:04 ` lekktu
2010-06-26 21:04 ` anon
2010-06-26 21:41 ` lekktu
2010-06-27 3:33 ` anon
2010-06-27 10:49 ` lekktu
2010-06-26 21:42 ` Dmitry A. Kazakov
2010-06-26 22:01 ` lekktu
2010-06-27 8:04 ` Gnat GPL 2010 available soon (conditional expressions) Georg Bauhaus
2010-06-27 8:37 ` Dmitry A. Kazakov
2010-06-27 10:55 ` lekktu
2010-06-27 12:12 ` Dmitry A. Kazakov
2010-06-27 13:42 ` Georg Bauhaus
2010-06-27 14:35 ` Peter C. Chapin
2010-06-27 16:53 ` Dmitry A. Kazakov
2010-06-28 11:24 ` Peter C. Chapin
[not found] ` <oizwym2afwmx.1jm5tt7wtpm7v.dlg@40tude.net>
2010-06-28 14:47 ` Georg Bauhaus
2010-06-28 16:36 ` Dmitry A. Kazakov
2010-06-28 17:04 ` Georg Bauhaus [this message]
2010-06-28 17:37 ` Dmitry A. Kazakov
2010-06-29 19:28 ` Randy Brukardt
2010-06-30 1:19 ` BrianG
2010-06-30 3:21 ` Britt Snodgrass
2010-07-05 1:27 ` Phil Clayton
2010-07-05 10:26 ` Georg Bauhaus
2010-07-05 14:24 ` Phil Clayton
2010-07-05 13:12 ` Dmitry A. Kazakov
2010-07-05 22:47 ` Phil Clayton
2010-07-06 7:36 ` Dmitry A. Kazakov
2010-07-06 9:13 ` Georg Bauhaus
2010-07-06 16:31 ` Phil Clayton
2010-07-06 17:18 ` Dmitry A. Kazakov
2010-07-07 12:00 ` Phil Clayton
2010-07-07 13:39 ` Dmitry A. Kazakov
2010-06-30 4:13 ` Gautier write-only
2010-06-30 16:46 ` Warren
2010-06-30 4:09 ` Gautier write-only
2010-06-30 23:20 ` Peter C. Chapin
2010-06-27 21:40 ` Gnat GPL 2010 available soon mahdert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox