28 Sep
2007
28 Sep
'07
8:29 p.m.
On 9/28/07, Isaac Dupree
I don't remember, is it possible for modules that import yours, to define arbitrary new units of their own?
Yes, e.g. "nauticalMile = prefix 1.852 (kilo meter)".
I mean a new dimension, like "prettyness" measured in "Emilys", for example.
Ah, yes. The 'Extensible' module makes it relatively easy to add a new base dimension on top of the seven SI base dimensions. The 'CGS' module demonstrates how to replace the SI with another system altogether. Both of these should be considered experimental, however. -Bjorn