From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: How to make tasks to run in parallel
Date: Tue, 17 Oct 2017 14:11:14 +0200
Date: 2017-10-17T14:11:14+02:00 [thread overview]
Message-ID: <os4s11$1u1j$1@gioia.aioe.org> (raw)
In-Reply-To: ly4lqyauym.fsf@pushface.org
On 17/10/2017 13:13, Simon Wright wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> On 17/10/2017 10:06, Niklas Holsti wrote:
>>
>>> By "that", did you mean the GNAT approach? Or the approach suggested
>>> by reinert, using different types?
>>
>> Yes.
>
> Or No.
No, yes. (:-))
Aspect dimension is only partially a subtype. It is a subtype in the
sense that it supports mixed operations [*]. But it lacks the base type
with values of its own. (And for that matter, it cannot handle irregular
(km/h, Celsius degree) and prefixed units (ms) essential for a great
number of applications)
---------------------------------
* The operations could simply be overloaded with the same effect.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-10-17 12:11 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-17 4:58 How to make tasks to run in parallel reinert
2017-10-17 6:08 ` gautier_niouzes
2017-10-17 7:25 ` reinert
2017-10-17 15:36 ` Jeffrey R. Carter
2017-10-21 12:32 ` Jacob Sparre Andersen
2017-10-17 6:17 ` Per Sandberg
2017-10-17 6:30 ` gautier_niouzes
2017-10-17 7:32 ` reinert
2017-10-17 7:47 ` Dmitry A. Kazakov
2017-10-17 8:06 ` Niklas Holsti
2017-10-17 8:48 ` Dmitry A. Kazakov
2017-10-17 11:13 ` Simon Wright
2017-10-17 12:11 ` Dmitry A. Kazakov [this message]
2017-10-17 14:23 ` AdaMagica
2017-10-17 9:06 ` reinert
2017-10-17 10:04 ` Dmitry A. Kazakov
2017-10-17 7:29 ` Dmitry A. Kazakov
2017-10-17 7:36 ` reinert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox