Re: assignments using different types

[dewar@merv.cs.nyu.edu (Robert Dewar)]

iDavid asks

"Example:
   type Distance_Type is new float range 0.0 .. 1000.0;
   type Time_Type is new float range 0.0 .. 10.0;
   type Velocity_Type is new float;

   Distance : Distance_Type := 100.0;
   Time     : Time_Type     := 10.0;
   Velocity : Velocity_Type;

...

   -- A difficult to read, but legal Ada assignment.
   Velocity := Velocity_Type(float(Distance) / float(Time));


Can anyone provide me with suggestions to improve the readability
of the above assignment?  Of course, I'd like efficiency to be
similar to that of using the same type for all the variables."

Robert replies

Most certainly: define an approrpiate "/" operator, mark it to be inlined
with pragma Inline, and then just write

  Velocity := Distance / Time;