On Tuesday, April 12, 2016 at 8:29:25 AM UTC-4, John Pearson wrote: > > AD numbers are subtypes of Real. This is not quite mathematically correct > (there's a long discussion on GitHub), but in this case, practicality beats > purity. >
Do you have a reference to the discussion about AD numbers being subtypes of Real? I'm curious to read the rationale, since Julia already has a Number abstract type that seems like a more obvious candidate for the direct supertype of AD numbers. I'm sure there's a good reason--I'd just like to read about what it is.
