A megálmodott programnyelvemben minden változónak a tárolási formátum mellett (sőt néha az a kevésbé fontos) meg lehet adni egy dimenziót is.
A fizikában használatos dimenziókkal együtt követett számítások mintájára a fordító compile time ellenőrizné azt, hogy a mennyiségekkel az adott művelet értelmesen elvégezhető-e. Ott már tényleg felesleges lenne ez a notation bohóckodás :-).