search

bjornbm / dimensional-classic

Automatically exported from code.google.com/p/dimensional
BSD 3-Clause "New" or "Revised" License
3 stars 1 forks source link

Speculation: Interface with dynamically checked dimensions? #23

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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.com on 20 May 2007 at 3:35

GoogleCodeExporter commented 9 years ago

Original comment by bjorn.bu...@gmail.com on 20 May 2007 at 3:36

GoogleCodeExporter commented 9 years ago

Original comment by bjorn.bu...@gmail.com on 20 May 2007 at 3:49