From: reinert <reinkor@gmail.com>
Subject: Re: How to make tasks to run in parallel
Date: Tue, 17 Oct 2017 00:32:10 -0700 (PDT)
Date: 2017-10-17T00:32:10-07:00 [thread overview]
Message-ID: <3aebc413-4284-41f4-a31c-45091a31d2b3@googlegroups.com> (raw)
In-Reply-To: <08b898a2-168e-4740-9c6e-8f2d9abf7093@googlegroups.com>
On Tuesday, October 17, 2017 at 8:30:06 AM UTC+2, gautier...@hotmail.com wrote:
> > And also why a private Real type when there is a general Float.
>
> Probably Reinert meant rather "subtype Real is Float".
> And it is very useful, especially when you discover that the chosen floating-point type is too inaccurate: you just need to change a few characters in a single line of code...
>
> G.
It sometimes use:
"type Real is Digits 18;"
I see the point (sometimes) using "substype" here. But I also like to avoid to add meter and seconds :-) I.e. to be "clean" with respect to dimensions/units.
reinert
next prev parent reply other threads:[~2017-10-17 7:32 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 [this message]
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
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