It would occasionally be convenient to convert quantities to/from a
representation instantiating Num et al. Such a representation would by
necessity have dynamically checked dimensions.
This would enable use of any library or algorithm written for Num et al, at
the price of no static guarantee of correctness for affected code.
Such a representation is currently outside the intended scope of this
library but an interface to another library may be feasible.
One library with dynamically checked dimensions is Henning Thielemann's
NumericPrelude. However, it does not use the standard (flawed as they may
be) Num et al.
Original issue reported on code.google.com by
bjorn.bu...@gmail.comon 20 May 2007 at 3:35