From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: fyi, very interesting Ada paper OOP vs. Readability
Date: Wed, 23 May 2012 20:45:56 +0200
Date: 2012-05-23T20:45:56+02:00 [thread overview]
Message-ID: <1mmiy4uwvesby$.1qdujxobno17s.dlg@40tude.net> (raw)
In-Reply-To: jpj8hj$lv9$1@speranza.aioe.org
On Wed, 23 May 2012 17:59:15 +0000 (UTC), NatarovVI wrote:
> so... between types there is no need for complicated "relations".
> inclusion, equivalence.
Traditional OO inheritance *is* inclusion. Sometimes it is called
"subsumption relation": S<:T.
> it's easily formulated by set of extending interfaces to some module.
That is extremely difficult. Showing that two types are equivalent is
undecidable.
> there is no need to formulate complex dependencies,
> and no need in OOP inheritance.
See above.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2012-05-23 18:45 UTC|newest]
Thread overview: 57+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-09 13:06 fyi, very interesting Ada paper OOP vs. Readability Nasser M. Abbasi
2012-05-09 13:19 ` Nasser M. Abbasi
2012-05-09 13:36 ` Dmitry A. Kazakov
2012-05-09 13:39 ` Patrick
2012-05-09 13:55 ` Egil Høvik
2012-05-10 2:33 ` Randy Brukardt
2012-05-10 6:33 ` Simon Wright
2012-05-12 0:37 ` Randy Brukardt
2012-05-30 2:09 ` BrianG
2012-05-30 7:29 ` Niklas Holsti
2012-05-30 7:54 ` Yannick Duchêne (Hibou57)
2012-05-30 7:59 ` Dmitry A. Kazakov
2012-05-30 12:45 ` stefan-lucks
2012-05-30 13:12 ` Dmitry A. Kazakov
2012-05-30 19:11 ` Jeffrey Carter
2012-05-30 23:00 ` BrianG
2012-06-21 16:06 ` Randy Brukardt
2012-05-10 8:43 ` Maciej Sobczak
2012-05-15 6:16 ` Simon Wright
2012-05-10 11:46 ` Dmitry A. Kazakov
2012-05-10 14:23 ` Georg Bauhaus
2012-05-10 14:47 ` Nasser M. Abbasi
2012-05-10 15:11 ` Adam Beneschan
2012-05-10 16:06 ` Georg Bauhaus
2012-05-10 18:41 ` Niklas Holsti
2012-05-11 8:20 ` Georg Bauhaus
2012-05-10 20:11 ` Nasser M. Abbasi
2012-05-10 21:17 ` tmoran
2012-05-10 18:07 ` Jeffrey Carter
2012-05-11 7:32 ` Maciej Sobczak
2012-05-10 12:31 ` J-P. Rosen
2012-05-10 13:32 ` Yannick Duchêne (Hibou57)
2012-05-10 13:38 ` Nasser M. Abbasi
2012-05-10 23:42 ` Zhu Qun-Ying
2012-05-11 6:05 ` J-P. Rosen
2012-05-11 3:01 ` NatarovVI
2012-05-11 7:14 ` Dmitry A. Kazakov
2012-05-11 7:32 ` Nasser M. Abbasi
2012-05-11 7:58 ` Dmitry A. Kazakov
2012-05-13 3:11 ` NatarovVI
2012-05-13 10:03 ` Georg Bauhaus
2012-05-16 15:00 ` NatarovVI
2012-05-16 18:01 ` Georg Bauhaus
2012-05-21 16:35 ` NatarovVI
2012-05-21 17:56 ` Georg Bauhaus
2012-05-23 16:01 ` NatarovVI
2012-05-23 16:12 ` NatarovVI
2012-05-16 15:31 ` NatarovVI
2012-05-16 16:40 ` Dmitry A. Kazakov
2012-05-21 17:23 ` NatarovVI
2012-05-21 18:53 ` Dmitry A. Kazakov
2012-05-21 19:21 ` Nasser M. Abbasi
2012-05-23 17:59 ` NatarovVI
2012-05-23 18:45 ` Dmitry A. Kazakov [this message]
2012-05-23 17:39 ` NatarovVI
2012-05-23 18:39 ` Dmitry A. Kazakov
2012-05-11 3:09 ` NatarovVI
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox