Re: [boost] Formal Review for Interval Library (was: IntervalLibrary reminder)

From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2002-09-07 16:19:22

jhr.walter_at_[hidden] (Joerg Walter) writes:

[...]

| > Note that for intervals, it was a question at some point whether we
| > should provide specializations for T==float, double and long double,
| > with additional implicit conversions for float->double->long double.
| > For those ones, we can guarantee at least that there is no loss of
| > precision.
| 
| Implicit conversion may be one way to go. Another way could be to use type
| promotion traits as described by Todd Veldhuizen for example here:
| 
| http://osl.iu.edu/~tveldhui/papers/techniques/techniques01.html#l30

I think Hervé is quite fluent in template metaprogramming and its
basics (after all, he significantly contributed to CGAL :-).  
IMHO, the issue is more about the usefulness of the implicit type
conversion in the scope of interval arithmetic, compared to the
interface complication. 

-- Gaby