Re: fyi, very interesting Ada paper OOP vs. Readability

[NatarovVI <4KCheshireCat@gmail.com>]

> a type is a set of values AND operations on these values.
> ...Values alone can't define a 'type'. One needs to also define what
> operations are allowed on these values to have complete type defined.

and this _is_ what i sayed. "type is builded from set's".
"set's", not "set". two set's. set of values and set of operations on 
that values. sure i remember this definitions. and just say it in 
previous messages. there was no need to correct my correct words.

so... between types there is no need for complicated "relations".
inclusion, equivalence. that's all. it's easily formulated by set
of extending interfaces to some module. (set of interfaces to one
module can be attached in java or ml, for example)

there is no need to formulate complex dependencies,
and no need in OOP inheritance.