From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Ada advocacy
Date: Thu, 29 Aug 2013 16:47:04 +0200
Date: 2013-08-29T16:47:04+02:00 [thread overview]
Message-ID: <op.w2k10qwoule2fv@cardamome> (raw)
In-Reply-To: 1ko98ye6q8bzv.134llfoupp81w.dlg@40tude.net
Le Wed, 28 Aug 2013 19:25:59 +0200, Dmitry A. Kazakov
<mailbox@dmitry-kazakov.de> a écrit:
> On Wed, 28 Aug 2013 18:44:38 +0200, Yannick Duchêne (Hibou57) wrote:
>
>> Le Wed, 28 Aug 2013 13:42:16 +0200, G.B.
>> <rm-dash-bau-haus@dash.futureapps.de> a écrit:
>>>
>>> That's the deal, a reference to an order of events in time,
>>> right in the type. Something that ordinary types don't have.
>>
>> As a comment aside, that's why it happened I missed Ada had coroutines
>> (using a task in place of a coroutine is too much).
>
> It is an interesting question, but too vague.
Thanks for the interesting questions :)
> 1. preemptive or not?
No. Otherwise just use task.
> 2. implicit state or explicit (bound to some object)
Implicit. If explicit state is needed, it can be provided by other means.
> 3. how much of the context where given execution path is nested would be
> accessible?
Explicitly bounded.
> 4. inheritance issues
May be disallowed for dispatching operations.
> Maybe instead of coroutines... Ada does not specify whether tasks should
> be
> native. What about providing tasks scheduled by the RTL (or user), in
> addition to the native tasks, not as a replacement. Such tasks would have
> many limitations regarding I/O, but no more coroutines would. And they
> will
> be lighter than native tasks.
If you mean kind of green threads, I would say no, as I guess you mean
something pre‑emptive, and I mean something sequential with no
concurrency, like with sub‑program invocation in a single task.
There are ways to workaround it with actual Ada, but that's not handy.
There is the state machine which requires to flatten the conditional
structures in a case statement, and that does not help readability and
maintenance; sometime it comes as the most natural way to express things,
but not always.
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
next prev parent reply other threads:[~2013-08-29 14:47 UTC|newest]
Thread overview: 102+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-03-20 12:54 Ada advocacy tonyg
2012-03-20 13:54 ` Ludovic Brenta
2012-03-20 14:39 ` Marc C
2012-03-20 15:13 ` Ludovic Brenta
2012-03-20 16:34 ` Yannick Duchêne (Hibou57)
2012-03-20 16:35 ` Yannick Duchêne (Hibou57)
2012-03-20 20:06 ` Shark8
2012-03-20 15:42 ` Georg Bauhaus
2012-03-20 18:31 ` Jeffrey Carter
2012-03-20 21:42 ` anon
2012-03-20 23:05 ` Shark8
2012-03-21 0:32 ` Shark8
2012-03-21 1:58 ` Robert Love
2012-03-21 5:37 ` Per Sandberg
2012-03-25 11:10 ` Peter C. Chapin
2012-03-21 8:59 ` anon
2013-06-17 23:42 ` johannes falcone
2013-06-18 0:09 ` tmoran
2013-06-18 0:14 ` Leo Brewin
2013-06-18 0:59 ` Jeffrey Carter
2013-06-19 19:22 ` johannes falcone
2013-06-19 19:34 ` Jacob Sparre Andersen
2013-06-19 20:16 ` Shark8
2013-06-19 19:36 ` Ludovic Brenta
2013-08-30 7:36 ` johannes falcone
2013-06-18 1:28 ` Dennis Lee Bieber
2013-06-18 5:55 ` Peter Brooks
2013-06-18 17:15 ` Robert A Duff
2013-06-18 17:43 ` Bill Findlay
2013-06-18 19:22 ` Robert A Duff
2013-06-18 19:30 ` Bill Findlay
2013-08-27 13:34 ` Yannick Duchêne (Hibou57)
2013-08-27 14:08 ` Bill Findlay
2013-08-27 14:13 ` Bill Findlay
2013-08-27 21:25 ` J-P. Rosen
2013-08-28 7:45 ` Dmitry A. Kazakov
2013-08-27 22:42 ` Dennis Lee Bieber
2013-08-28 7:45 ` Maciej Sobczak
2013-08-28 8:58 ` Georg Bauhaus
2013-08-28 9:42 ` Dmitry A. Kazakov
2013-08-28 11:42 ` G.B.
2013-08-28 11:59 ` Dmitry A. Kazakov
2013-08-28 12:49 ` G.B.
2013-08-28 14:07 ` Dmitry A. Kazakov
2013-08-28 15:06 ` Eryndlia Mavourneen
2013-08-28 17:30 ` Dmitry A. Kazakov
2013-08-28 16:44 ` Yannick Duchêne (Hibou57)
2013-08-28 17:25 ` Dmitry A. Kazakov
2013-08-28 23:33 ` Dennis Lee Bieber
2013-08-29 7:15 ` Dmitry A. Kazakov
2013-08-29 14:47 ` Yannick Duchêne (Hibou57) [this message]
2013-08-29 19:15 ` Dmitry A. Kazakov
2013-08-29 15:28 ` Robert A Duff
2013-08-29 21:43 ` Jeffrey R. Carter
2013-08-30 23:52 ` Yannick Duchêne (Hibou57)
2013-08-31 0:05 ` Jeffrey R. Carter
2013-08-31 1:42 ` Shark8
2013-08-31 2:57 ` Shark8
2013-08-31 9:00 ` Dirk Craeynest
2013-08-31 1:48 ` Randy Brukardt
2013-09-02 7:13 ` Egil H H
2013-09-02 8:41 ` G.B.
2013-09-02 16:37 ` Egil H H
2013-08-29 15:46 ` Robert A Duff
2013-08-30 4:47 ` Jeffrey R. Carter
2013-08-30 16:54 ` Robert A Duff
2013-08-30 17:49 ` Jeffrey R. Carter
2013-08-30 22:41 ` Robert A Duff
2013-08-31 0:02 ` Jeffrey R. Carter
2013-08-31 14:47 ` Robert A Duff
2013-06-19 7:29 ` nevillednz
2013-08-27 13:39 ` Yannick Duchêne (Hibou57)
2013-09-02 18:45 ` Martin
2013-06-17 23:39 ` johannes falcone
2012-03-21 10:44 ` tonyg
2013-06-18 0:07 ` johannes falcone
2012-03-23 16:13 ` KK6GM
2013-06-13 15:33 ` david
2013-06-13 15:34 ` david
-- strict thread matches above, loose matches on Subject: below --
2003-08-26 20:33 Ada Advocacy Stephane Richard
2003-08-26 21:20 ` Luke A. Guest
2003-08-26 22:28 ` Stephane Richard
2003-08-26 23:04 ` Luke A. Guest
2003-08-27 16:15 ` Warren W. Gay VE3WWG
2003-08-27 23:06 ` Luke A. Guest
2003-08-28 10:39 ` Preben Randhol
2003-08-26 23:55 ` Chad R. Meiners
2003-08-27 0:44 ` Anisimkov
2003-08-27 8:26 ` Dmitry A. Kazakov
2003-08-27 20:12 ` Wes Groleau
2003-08-27 23:09 ` Luke A. Guest
2003-08-29 16:13 ` Jon S. Anthony
2003-08-29 18:15 ` Luke A. Guest
2003-08-28 8:34 ` Dmitry A. Kazakov
2003-08-27 8:29 ` Luke A. Guest
2003-08-28 5:29 ` Dmitriy Anisimkov
2003-09-01 21:26 ` Dave Thompson
2003-08-27 6:56 ` David Holm
2003-08-27 16:00 ` Rod Chapman
2003-08-29 6:38 ` Adrian Hoe
2003-08-29 9:34 ` Stephane Richard
2003-09-01 5:45 ` Adrian Hoe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox