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.220.230 with SMTP id pz6mr4251298pbc.3.1337796039833;
        Wed, 23 May 2012 11:00:39 -0700 (PDT)
Path: 
 pr3ni35677pbb.0!nntp.google.com!news1.google.com!goblin1!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, 23 May 2012 17:59:15 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <jpj8hj$lv9$1@speranza.aioe.org>
References: <jodq5f$j5f$1@speranza.aioe.org>
	<johvef$cgg$1@speranza.aioe.org>
	<1ir29foizbqv1.v9uuhpykjl3n.dlg@40tude.net>
	<jp0h86$6vn$1@speranza.aioe.org>
	<1qkmythqujvoa$.h4megbum9r4c$.dlg@40tude.net>
	<jpdtmc$2j6$1@speranza.aioe.org>
	<vc1abqugagog.1bra8ltna4p2k$.dlg@40tude.net>
	<jpe4kk$l4e$1@speranza.aioe.org>
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-23T17:59:15+00:00
List-Id: <comp.lang.ada>

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