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

[NatarovVI <4KCheshireCat@gmail.com>]

>> Only data abstraction and modularity (without inheritance and, maybe,
>> polymorphism) is good.
> 
> What is abstracted then?
> 
> P.S. There is no data without types.

What do you try to say?
I try to say - there was "Data Abstraction" technology before OOP.
it's like OOP but without inheritance and polymorphism.
Only incapsulation. And that was good.
inheritance break those good incapsulation.
polymorphism makes program reading context-dependent, that can be bad 
also. only incapsulation is always good.
OOP makes problems, not solutions.

P.S. types is just alternative form of program, written purposely for 
checking programmist's errors. (Computer can not check programmer
errors because it don't know what prog needs. Computer can only compare
to equivalent definitions of some program)
So. Data CAN be "without types". Only this will be unsafe.
2+2=4. what type of 2 have? integer? enum? real? set of (2,4)?
until we write we not know. and just cannot check.