From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada lacks lighterweight-than-task parallelism
Date: Thu, 21 Jun 2018 11:09:24 +0200
Date: 2018-06-21T11:09:24+02:00 [thread overview]
Message-ID: <pgfq03$vme$1@gioia.aioe.org> (raw)
In-Reply-To: 4834588f-c891-4a34-a32d-007c91f27399@googlegroups.com
On 2018-06-21 02:19, Shark8 wrote:
> On Wednesday, June 20, 2018 at 7:38:11 AM UTC-6, Dmitry A. Kazakov wrote:
>> On 2018-06-20 15:14, Mehdi Saada wrote:
>>> So I guess you are in favor with deeper (and de facto) integration of compilers with static analysis tools ?
>>
>> Absolutely. Not as tools. SPARK must become an integral part of Ada.
>> Static analysis and defined provable semantics is major strength of Ada.
>>
> Agreed; this is why I'm pushing for a heavily integrated IDE with my IDE-proposal.
> I'd be quite interested to hear your thoughts on the subject.
Why do you think that an IDE is important here? (Not that I will use
emacs, ever! (:-))
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-06-21 9:09 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-19 22:14 Ada lacks lighterweight-than-task parallelism Dan'l Miller
2018-06-19 22:23 ` Dan'l Miller
2018-06-20 0:03 ` Dan'l Miller
2018-06-20 0:41 ` Lucretia
2018-06-20 1:36 ` Dan'l Miller
2018-06-20 13:39 ` Luke A. Guest
2018-06-20 1:12 ` Shark8
2018-06-20 1:41 ` Dan'l Miller
2018-06-20 7:13 ` Dmitry A. Kazakov
2018-06-20 12:03 ` Dan'l Miller
2018-06-20 12:29 ` Dmitry A. Kazakov
2018-06-20 13:14 ` Mehdi Saada
2018-06-20 13:38 ` Dmitry A. Kazakov
2018-06-20 14:01 ` Mehdi Saada
2018-06-20 14:32 ` Dmitry A. Kazakov
2018-06-29 22:01 ` Randy Brukardt
2018-06-29 22:15 ` Dmitry A. Kazakov
2018-06-29 22:47 ` Randy Brukardt
2018-06-30 8:41 ` Dmitry A. Kazakov
2018-06-30 15:43 ` Brad Moore
2018-07-01 9:46 ` Dmitry A. Kazakov
2018-07-02 13:13 ` Marius Amado-Alves
2018-07-02 15:05 ` Dmitry A. Kazakov
2018-07-02 16:01 ` Marius Amado-Alves
2018-07-02 16:48 ` Dmitry A. Kazakov
2018-06-20 15:58 ` Niklas Holsti
2018-06-29 21:58 ` Randy Brukardt
2018-06-21 0:19 ` Shark8
2018-06-21 9:09 ` Dmitry A. Kazakov [this message]
2018-06-21 14:42 ` Shark8
2018-06-21 15:55 ` Dan'l Miller
2018-06-27 11:49 ` Marius Amado-Alves
2018-06-21 16:06 ` Dmitry A. Kazakov
2018-06-22 17:06 ` Shark8
2018-06-22 18:53 ` Dmitry A. Kazakov
2018-06-21 0:17 ` Shark8
2018-06-20 12:28 ` Brian Drummond
2018-06-21 1:51 ` Dan'l Miller
2018-06-21 10:22 ` Brian Drummond
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox