Dimension checking in Ada - inpossible? In C++ it's possible using templates.

Dimension checking in Ada - inpossible? In C++ it's possible using templates.

[Dmytry Lavrov]

In C++ ,it's possible to write templates that will statically check
dimensions,i mean especially in physics,that x:=a*t^2/2; will be
compiled and x:=a*t/2 will not. And that x:=(x^3)/(x*x);will be
compiled,and x:=(x^3)/(x*x*x);will not.(i mean that it works well with
arbitrary powers)

I myself saw example,
http://www.fnal.gov/docs/working-groups/fpcltf/html/SIunits-summary.html
and also i myself saw in some forum simple dimension checker as
example.

It's possible to do something similar in Ada? Have no idea how.

Regards,

Dmytry Lavrov.


(stop crossposted flamewar)

Re: Dimension checking in Ada - inpossible? In C++ it's possible using templates.

[Preben Randhol]

On 2004-02-10, Dmytry Lavrov <dmytrylavrov@fsmail.net> wrote:
> It's possible to do something similar in Ada? Have no idea how.

http://home.t-online.de/home/Christ-Usch.Grein/Ada/SI.html


-- 
"Saving keystrokes is the job of the text editor, not the programming
 language."

Re: Dimension checking in Ada - inpossible? In C++ it's possible using templates.

[Preben Randhol]

On 2004-02-10, Preben Randhol <randhol+valid_for_reply_from_news@pvv.org> wrote:
> On 2004-02-10, Dmytry Lavrov <dmytrylavrov@fsmail.net> wrote:
>> It's possible to do something similar in Ada? Have no idea how.
>
> http://home.t-online.de/home/Christ-Usch.Grein/Ada/SI.html

and

http://home.t-online.de/home/Christ-Usch.Grein/Ada/Dimension.html


-- 
"Saving keystrokes is the job of the text editor, not the programming
 language."