Dimensional analysis aids in the modeling of physical systems by providing type safety and unit conversion.
position ← (0m, 0m, 0m);
velocity := (1.3 cm/s, 0 cm/s, 1 cm/s);
elapsed := 5s;
position ← position + velocity * elapsed;
The syntax for this feature can be found in dimensional_number and is referenced by the expression syntax.