From: gautier_niouzes@hotmail.com
Subject: Re: How to make tasks to run in parallel
Date: Mon, 16 Oct 2017 23:30:05 -0700 (PDT)
Date: 2017-10-16T23:30:05-07:00 [thread overview]
Message-ID: <08b898a2-168e-4740-9c6e-8f2d9abf7093@googlegroups.com> (raw)
In-Reply-To: <lghFB.28855$I81.24241@fx26.fr7>
> 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.
next prev parent reply other threads:[~2017-10-17 6:30 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 [this message]
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
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