From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b076e6315fd62dc5
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.234.38 with SMTP id ub6mr6343360pbc.2.1337182282415;
        Wed, 16 May 2012 08:31:22 -0700 (PDT)
Path: 
 pr3ni5658pbb.0!nntp.google.com!news2.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: NatarovVI <4KCheshireCat@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: fyi, very interesting Ada paper OOP vs. Readability
Date: Wed, 16 May 2012 15:31:18 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <jp0h86$6vn$1@speranza.aioe.org>
References: <jodq5f$j5f$1@speranza.aioe.org>
	<johvef$cgg$1@speranza.aioe.org>
	<1ir29foizbqv1.v9uuhpykjl3n.dlg@40tude.net>
NNTP-Posting-Host: TNf0rmM5b4cIzEdXORLLAg.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Pan/0.135 (Tomorrow I'll Wake Up and Scald Myself with Tea; GIT
	30dc37b master)
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset=KOI8-R
Content-Transfer-Encoding: 8bit
Date: 2012-05-16T15:31:18+00:00
List-Id: <comp.lang.ada>

>> 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.