Re: A bad counterintuitive behaviour of Ada about OO

["J-P. Rosen" <rosen@adalog.fr>]

Le 08/08/2014 11:13, Dmitry A. Kazakov a écrit :
> How mathematics may not apply to the elementary types like Integer?
Because computer integers are not the same as mathematical ones, and the
way they are used are different.

Moreover, classification is used in mathematics for the theory of
numbers, which is not relevant to practical usage of numbers.

> Do you propose not to formalize "some features"? This is not how Ada
> generics work anyway. "Some features" are formalized in Ada through formal
> generic parameters. The only difference to classes is that classes do that
> through types, while generics do in an untyped manner.

And those types must be related through inheritance, while generics may
be instantiated on types that have no conceptual relationship.

Of course, at implementation level it boils down to managing pointers to
subprograms, but conceptually, it is quite different.


-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr