On Friday, 21 February 2014 at 19:12:39 UTC, Frustrated wrote:
You are mixing symbolic calculus and numerical computations. The two are completely unrelated.Simply not true. Maple, for example, uses constants and can compute using constants.
Basically the benefit of this(and potential) outweigh the cost ofUnless I'm completely mistaken, what you are proposing is basically creating a tagged union type. It's pretty much unrelated from the "unum" proposed by the PDF.1 bit out of 64-bits.