User loginNavigation 
Denominated Values  Part numeric and symbolic.Well as long as "how I spent my summer vacation" is an interesting topic, I've got one. I've recently been working on/thinking about a programming language type that I haven't seen implemented before. I guess "Denominated values" is the best name for it. A denominated value is a real number, plus a quasisymbolic representation of what that number denominates  meters, hectares, seconds, joules, etc etc etc. The semantics are just what you'd expect: Multiply two denominated values together and you get another denominated value. Divide a length by a time and you get a speed. Divide a speed by a time and you get an acceleration. Multiply a distance times a distance and you get an area. Add two distances and you get a distance. Add a distance to a time and you get an error. Which is the whole point, because the idea is error checking. Most of the error checks can be free for most compileable languages  The denomination semantics exist in compilation, but can get boiled out of the executable (except debug versions of the executable). If the program passes denomination semantics during compilation it doesn't need to check again, especially not on every single operation. I was remembering college physics where misunderstanding the problem often led to doing math and realizing I was trying to do some mathematical operation on values whose denominations were incompatible under that operation. Or when the answer came out with a value of the wrong denomination. Or when I blew a unit conversion. Of course denominations coming out right is no guarantor of correctness. Consider the popular rule "71 divided by annual percent interest rate equals doubling time." This happens to come out fairly close for small interest rates, but is not a mathematically correct construction and fails hard the further out of its range you get. This is a mistake that someone would make, because they probably learnt it when they were ten and never realized that the mathematical reasoning is fundamentally wrong. This is the kind of mistake we would not want to make. But it comes out correct in denomination. interest rate is in {thing per time} per {thing}, thus the unit {thing} cancels out and interest rate turns out to be denominated in {inverse time}. So 71 (a unitless value) is divided by a value in {inverse time} and yields a value denominated in {time}, which is exactly how the answer is interpreted. You can assign this wrong answer value to a denominated variable and never know there was a problem  you print it out in years and it "looks right." And of course correct operations on denominated values do not necessarily guarantee us correct units. It guarantees us Denominated Values that *CAN* be expressed in the correct units, but are still prone to humorous errors. Even if we have done everything right, some values come out in {inverse time} and can be expressed as interest rates, angular velocities, or frequencies, and whatever units you tell the system to express it in, any inversetime denominated value will express without an error because those three things are the same fundamental units. They shouldn't be, and I don't really know what to do about that. Implementation details: The constructor takes real numbers and construct unitless denominated values, and has a matching 'conversion' that gets a real number if and only if the denominated value being converted is also unitless. so you can do things like this.
The simple implementation so far is that the number is a 64bit double and the denomination is an array of 8 bytes. The denominations, and all operations and tests on them, are #ifdef'd to exist in debug mode only. The first byte of denomination is devoted to orderoften magnitude, 127 to +127. The remaining 7 bytes are each devoted to the power of one fundamental unit, allowing the fundamental units to have powers from 127 to 127. (I am not using #FF. During implementation it signified overflow). Addition and Subtraction requires that the unit powers are equal and increase or reduce one of the values by the difference in magnitude before doing the operation. Multiplication and Division adds or subtracts every field of the denomination, including the Magnitude. Internally values are represented in metric units, with various unit constants like INCH being denominated values representing the metric equivalent of one of that unit. So when someone creates a denominated value using 2*INCH they get the same denominated value as if they'd created it using 5.08*CENTIMETER. And there are also a lot of unit constants that use more than one of the denomination powers (WATT has a +1 power for joules and a 1 power for seconds for instance). I've created accessors that get the numeric value as a standard real number regardless of whether the denomination is unitless, or which get the denomination as a 64bit integer. I'm not sure this was a good idea. I seem to get sucked into using them to do "denomination casts" whose value or hazard I can't really guess. By Ray Dillinger at 20221012 00:52  LtU Forum  previous forum topic  next forum topic  other blogs  1913 reads

Browse archives
Active forum topics

Recent comments
6 weeks 8 hours ago
10 weeks 2 days ago
11 weeks 6 days ago
11 weeks 6 days ago
14 weeks 4 days ago
19 weeks 1 day ago
19 weeks 1 day ago
19 weeks 4 days ago
19 weeks 4 days ago
22 weeks 3 days ago